../ CaseTree.hsBetter representation of names15 years ago Constraints.hsAdded Constraints.hs for universe constrain solving (but don't expect it to work yet...)15 years ago CoreParser.hsFix name parsing for nested namespaces15 years ago Elaborate.hsNamespaces15 years ago Evaluate.hsNamespaces15 years ago ProofShell.hsChanged lookup to return a list (preparation for namespaces)15 years ago ProofState.hsCollect cumulativity constraints on universes15 years ago ShellParser.hsTinkering with tactics and deferred definitions15 years ago TT.hsFix name parsing for nested namespaces15 years ago Typecheck.hsDon't search for type class instances we'll never solve - also allow default Int for Num15 years ago Unify.hsFix small elaboration bug15 years ago