1 files changed, 10 insertions, 0 deletions
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