Mercurial > urweb

comparison src/coq/Axioms.v @ 617:5b358e8f9f09

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
map-only syntax and semantics
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Feb 2009 11:23:24 -0500
parents d26d1f3acfd6
children be88d2d169f6
comparison
equal deleted inserted replaced
616:d26d1f3acfd6 617:5b358e8f9f09