../ AbsSyntax.hsAdded tactics construct, and tactic sequencing/choice15 years ago Compiler.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Delaborate.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ElabDecls.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Error.hs:r and :e at the REPL.15 years ago Imports.hsAdded log/exp (and lib/link directives)15 years ago Parser.hsAdded provisional definitions15 years ago Primitives.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Prover.hsAdd mechanism for simplification and function options15 years ago REPL.hs:e now reloads the edited file15 years ago REPLParser.hsAdd mechanism for simplification and function options15 years ago