Mercurial > urweb

diff src/coq/Axioms.v @ 618:be88d2d169f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Most of expression semantics
author Adam Chlipala <adamc@hcoop.net>
date Sat, 21 Feb 2009 13:17:06 -0500
parents d26d1f3acfd6
children
line wrap: on
line diff
--- a/src/coq/Axioms.v	Sat Feb 21 11:23:24 2009 -0500
+++ b/src/coq/Axioms.v	Sat Feb 21 13:17:06 2009 -0500
@@ -25,8 +25,6 @@
  * POSSIBILITY OF SUCH DAMAGE.
  *)
 
-Require Import Syntax.
-
 Set Implicit Arguments.