From 7077e2e8fed4a52af4894954c8446781cb5d40d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 5 Dec 2006 12:49:56 +0000
Subject: Deleted file

---
 isa/Example.thy | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 isa/Example.thy

(limited to 'isa/Example.thy')

diff --git a/isa/Example.thy b/isa/Example.thy
deleted file mode 100644
index ba64d959..00000000
--- a/isa/Example.thy
+++ /dev/null
@@ -1,20 +0,0 @@
-(*  -*- isa -*- 
-
-    Example theory file for Isabelle
-
-    David Aspinall <da@dcs.ed.ac.uk>
-
-    $Id$
-
-    The line at the top of this comment forces 
-    Proof General's classic Isabelle mode;
-    scripting takes place in .ML files.
-
-    NB: this is incompatible with ProofGeneral/Isar which is
-    a separate instance of Proof General.
-
-    See the PG manual for ways to select Isabelle/Classic
-    by default.
-*)
-
-Example = Main
-- 
cgit v1.2.3