From 3e9fc0816fc333ff80d158afa26bb70e403e6b1f Mon Sep 17 00:00:00 2001
From: Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>
Date: Tue, 15 Dec 1998 12:10:34 +0000
Subject: made many minor changes to the documentation

---
 lego/example.l | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lego/example.l')

diff --git a/lego/example.l b/lego/example.l
index a15ea588..52643424 100644
--- a/lego/example.l
+++ b/lego/example.l
@@ -1,4 +1,4 @@
-Module Walkthrough Import lib_logic;
+Module example Import lib_logic;
 
 Goal and_commutes: {A,B:Prop}(and A B) -> (and B A);
 intros; andI;
-- 
cgit v1.2.3