diff options
Diffstat (limited to 'plugins/dp/zenon.v')
-rw-r--r-- | plugins/dp/zenon.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/plugins/dp/zenon.v b/plugins/dp/zenon.v index 502465c6b..89028c4f4 100644 --- a/plugins/dp/zenon.v +++ b/plugins/dp/zenon.v @@ -1,6 +1,4 @@ (* Copyright 2004 INRIA *) -(* $Id$ *) - Require Export Classical. Lemma zenon_nottrue : |