diff options
| author | David Aspinall | 2006-12-05 12:49:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-12-05 12:49:56 +0000 |
| commit | 7077e2e8fed4a52af4894954c8446781cb5d40d6 (patch) | |
| tree | 023224bae2e0e278d99e94bba2f0d3fe98984495 /isa/Example.thy | |
| parent | 1ea338cca92204c9a98a373adb80ab60c3a10107 (diff) | |
Deleted file
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 |