From f7effc5e138ecedac5074a31d17b498d37d51f7b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 22 Sep 1999 15:04:35 +0000
Subject: tuned example according to Isabelle style-guide;

---
 isa/Example.thy | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 isa/Example.thy

(limited to 'isa/Example.thy')

diff --git a/isa/Example.thy b/isa/Example.thy
new file mode 100644
index 00000000..84a71f31
--- /dev/null
+++ b/isa/Example.thy
@@ -0,0 +1,10 @@
+(*
+    Example theory file for Isabelle  
+
+    David Aspinall <da@dcs.ed.ac.uk>
+
+    $Id$
+
+*)    
+
+Example = Main
-- 
cgit v1.2.3

