../ base/Merge remote-tracking branch 'upstream/master' into shlevy-elab-lookup-function-def11 years ago contrib/Move List quantifiers to base11 years ago effects/Change library and expected test results for Float -> Double change11 years ago oldeffects/Change library and expected test results for Float -> Double change11 years ago prelude/Add Cast instance for String to Nat11 years ago pruviloj/Merge remote-tracking branch 'upstream/master' into shlevy-elab-lookup-function-def11 years ago MakefileLibrary of tactics for proof automation with Elab11 years ago