diff options
Diffstat (limited to 'isa/Example.thy')
| -rw-r--r-- | isa/Example.thy | 20 |
1 files changed, 0 insertions, 20 deletions
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 |