../ Binary.hsRemove old eliminator generation and induction tactic (#4351)9 years ago CaseTree.hsFixes for GHC 8.68 years ago Constraints.hsRemove the empty property 'copyright'.9 years ago DeepSeq.hsRemove the empty property 'copyright'.9 years ago Elaborate.hsRemove old eliminator generation and induction tactic (#4351)9 years ago Evaluate.hsRemove the empty property 'copyright'.9 years ago Execute.hsRemove the empty property 'copyright'.9 years ago ProofState.hsFix compilation with GHC 8.49 years ago ProofTerm.hsRemove the empty property 'copyright'.9 years ago TT.hsWhy nub a list when you can use a set.8 years ago Typecheck.hsRemove the empty property 'copyright'.9 years ago Unify.hsRemove the empty property 'copyright'.9 years ago WHNF.hsRemove the empty property 'copyright'.9 years ago