move general-purpose routines from HaskFlattener to HaskProof/General
[coq-hetmet.git] / src / Preamble.v
2011-04-09 Adam Megaczremove notations from Preamble that come from coq-categ...
2011-03-26 Adam Megaczre-arrange NaturalDeduction
2011-03-16 Adam Megaczcheck for Case that uses its binder, which we do not...
2011-03-12 Adam MegaczMake the HaskStrong type representation Kind-indexed...
2011-03-07 Adam Megaczgive HaskWeak its own type representation, fix numerous...
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code