coq-hetmet.git
2011-03-07 Adam Megaczbetter names for the auxiliary CaseBranch records
2011-03-07 Adam Megaczseparate type/coer/expr variables in HaskWeak case...
2011-03-07 Adam Megaczstore variables in ELetRecBindings rather than its...
2011-03-07 Adam Megaczadd HaskWeakToCore
2011-03-07 Adam Megaczadd proper proofs of the fact that every rule has exact...
2011-03-07 Adam MegaczChanged WEBrak/WEEsc to store a CoreType
2011-03-07 Adam MegaczAdded WeakVar, a separate variable representation for...
2011-03-07 Adam Megaczadded "publish" target to regenerate tex/pdf code
2011-03-07 Adam Megaczadded HaskCoreToWeak
2011-03-07 Adam Megaczcleaned up lots of FIXMEs in ProofToLatex
2011-03-02 Adam MegaczInitial checkin of Coq-in-GHC code