From 71404854adb8d560810504ebca1b0c9982435824 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 18:24:50 +0000
Subject: Example theory file

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

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
+
+
-- 
cgit v1.2.3