From d31b2387d328405396785da0c570458dd037009b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Jan 2008 15:57:03 +0000
Subject: Updated.

---
 acl2/root2.acl2 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'acl2')

diff --git a/acl2/root2.acl2 b/acl2/root2.acl2
index f93d688b..c60d05ed 100644
--- a/acl2/root2.acl2
+++ b/acl2/root2.acl2
@@ -1,4 +1,5 @@
-(* Example proof by Ruben Gamboa.  See http://www.cs.kun.nl/~freek/comparison/ *)
+(* Example proof by Ruben Gamboa.  
+   See http://www.cs.kun.nl/~freek/comparison/ *)
 
 
 (in-package "ACL2")
-- 
cgit v1.2.3