From f45e4719e7e78d27566cb141f48afccca1e3fd06 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 9 Sep 1998 14:02:46 +0000 Subject: Added Id to headers. --- coq/example.v | 1 + 1 file changed, 1 insertion(+) (limited to 'coq/example.v') diff --git a/coq/example.v b/coq/example.v index c9c88d9e..045e2f94 100644 --- a/coq/example.v +++ b/coq/example.v @@ -1,2 +1,3 @@ +(* Id *) INSERT HANDY COQ EXAMPLE HERE! \ No newline at end of file -- cgit v1.2.3