../ CaseTree.hsAdded case analysis on types, but only when enabled with --typecase (since it breaks parametricity)15 years ago CoreParser.hsType class instance resolution, and some Num overloading15 years ago Elaborate.hsType class instance resolution, and some Num overloading15 years ago Evaluate.hsFixed naming problem in type checking of application15 years ago ProofShell.hsAdded refine, focus, undo15 years ago ProofState.hsType class instance resolution, and some Num overloading15 years ago ShellParser.hsTinkering with tactics and deferred definitions15 years ago TT.hsTinkering with tactics and deferred definitions15 years ago Typecheck.hsImproved where; implicit arguments now expanded during elaboration15 years ago Unify.hsFix small elaboration bug15 years ago