From 0371ed89d98822dfd030b893ec63692958f73f4f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 17:22:57 +0000
Subject: Updated, trimmed down to barebones.

---
 acl2/example.acl2 | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'acl2/example.acl2')

diff --git a/acl2/example.acl2 b/acl2/example.acl2
index e597cd29..a493ab1a 100644
--- a/acl2/example.acl2
+++ b/acl2/example.acl2
@@ -1,8 +1,7 @@
-(*
-    Example proof script for ACL2 Proof General.
-
-    $Id$
-*)    
+;;  Example proof script for ACL2 Proof General.
+;;
+;;   $Id$
+;;    
 
 (defthm assoc->assoc-equal
   (equal (assoc x a)
-- 
cgit v1.2.3