1 files changed, 12 insertions, 0 deletions
diff --git a/isa/example.thy b/isa/example.thy
new file mode 100644
index 00000000..4e0ac963
--- /dev/null
+++ b/isa/example.thy
@@ -0,0 +1,12 @@
+(*
+    Example theory file for Isabelle  
+
+    David Aspinall <da@dcs.ed.ac.uk>
+
+    $Id$
+
+*)    
+
+example = HOL
+
+