../ CaseTree.hsStrip impossible cases when building case trees14 years ago Constraints.hsDocumentation comment additions14 years ago CoreParser.hsAdded rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago Elaborate.hsRemove the unused arg from lookup functions14 years ago Evaluate.hsRemove the unused arg from lookup functions14 years ago Execute.hsAdd type provider errors + test case14 years ago ProofShell.hsRemove the unused arg from lookup functions14 years ago ProofState.hsFix some INTERNAL ERRORs which aren't (non-function type, nothing to introduce) (And the crowd goes wild)14 years ago ShellParser.hsFiddle with elaborator; update interp sample and test15 years ago TT.hsRemove the unused arg from lookup functions14 years ago Typecheck.hsRemove the unused arg from lookup functions14 years ago Unify.hsUnification fix14 years ago