log src/coq/Semantics.v

age author description
2011-11-30 Adam Chlipala Update Coq semantics for 8.3pl2
2009-02-24 Adam Chlipala Coq formalization uses TDisjoint
2009-02-21 Adam Chlipala Finish semantics for Featherweight Ur
2009-02-21 Adam Chlipala Time to start thinking about guards
2009-02-21 Adam Chlipala Most of expression semantics
2009-02-21 Adam Chlipala map-only syntax and semantics
2009-02-18 Adam Chlipala Semantics for ordered rows only
2009-02-17 Adam Chlipala Start of Featherweight Ur semantics