log src/coq/Axioms.v

age author description
2009-02-21 Adam Chlipala Most of expression semantics
2009-02-18 Adam Chlipala Semantics for ordered rows only