diff options
Diffstat (limited to 'coq/example.v')
| -rw-r--r-- | coq/example.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coq/example.v b/coq/example.v index 00220114..58580c65 100644 --- a/coq/example.v +++ b/coq/example.v @@ -2,6 +2,8 @@ Example proof script for testing Coq Proof General. $Id$ + + Maintainer: Proof General maintainer <proofgen@dcs.ed.ac.uk> *) (****************************************************************************) |