diff options
Diffstat (limited to 'plugins/dp/zenon.v')
-rw-r--r-- | plugins/dp/zenon.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/dp/zenon.v b/plugins/dp/zenon.v index 502465c6..f2400a7f 100644 --- a/plugins/dp/zenon.v +++ b/plugins/dp/zenon.v @@ -1,5 +1,5 @@ (* Copyright 2004 INRIA *) -(* $Id$ *) +(* $Id: zenon.v 11996 2009-03-20 01:22:58Z letouzey $ *) Require Export Classical. |