From cd6c2b24c5b81465d3dbcc292b4457ed37ab9fb1 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 6 Aug 1999 18:01:09 +0000
Subject: tuned;

---
 isa/example.thy | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'isa/example.thy')

diff --git a/isa/example.thy b/isa/example.thy
index 4e0ac963..37c21578 100644
--- a/isa/example.thy
+++ b/isa/example.thy
@@ -7,6 +7,4 @@
 
 *)    
 
-example = HOL
-
-
+example = Main
-- 
cgit v1.2.3