diff options
Diffstat (limited to 'coq/README')
| -rw-r--r-- | coq/README | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,7 +1,8 @@ Coq Proof General -Originally written by Healfdene Goguen. -Later contributions by Patrick Loiseleur and Pierre Courtieu. +Originally written by Healfdene Goguen. +Later contributions by Patrick Loiseleur, Pierre Courtieu, + David Aspinall $Id$ |