../ CaseTree.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago CoreParser.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Elaborate.hsAdded provisional definitions15 years ago Evaluate.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago ProofShell.hsAdded refine, focus, undo15 years ago ProofState.hsBetter elaboration order; also changed instance argument syntax slightly15 years ago ShellParser.hsTinkering with tactics and deferred definitions15 years ago TT.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Typecheck.hsAdded Integer (but an Epic bug prevents them compiling properly)15 years ago Unify.hsFix small elaboration bug15 years ago