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 f2400a7f..89028c4f 100644 --- a/plugins/dp/zenon.v +++ b/plugins/dp/zenon.v @@ -1,6 +1,4 @@ (* Copyright 2004 INRIA *) -(* $Id: zenon.v 11996 2009-03-20 01:22:58Z letouzey $ *) - Require Export Classical. Lemma zenon_nottrue : |