git.megacz.com Git - coq-hetmet.git/atom - src/Reification.v historyCoq proofs and code accompanying the HetMet extensions for GHChttp://git.megacz.com/?p=coq-hetmet.git/git-favicon.png/git-logo.png2011-04-10T11:22:43Zgitwebfill in lots of missing proofs2011-04-10T11:22:43ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-04-10T11:22:43Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=77e8c70f4fd7a32db036fee5884a98208d450de2
update to new coq-categories, base ND_Relation on inert sequences2011-04-10T04:04:51ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-04-10T04:04:51Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=64d416692bda1d36c33b5efa245d46dcf546ad4a
update to new coq-categories, base ND_Relation on inert sequences
update to account for coq-categories changes2011-04-04T02:53:27ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-04-04T02:53:27Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=c3b1fb9622a65ad01e54b6e35785cee672d25bdc
lots of cleanup2011-03-29T16:46:52ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-03-29T16:46:52Zhttp://git.megacz.com/?p=coq-hetmet.git;a=commitdiff;h=ec8ee5cde986e5b38bcae38cda9e63eba94f1d9f