diff options
| author | David Aspinall | 1998-10-29 18:24:50 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-29 18:24:50 +0000 |
| commit | 71404854adb8d560810504ebca1b0c9982435824 (patch) | |
| tree | 0abbc00b3b2a526f5a48649735829ec3e1f307e6 /isa/example.thy | |
| parent | ea9338704aca637e86a8446df4e4687868d4a67d (diff) | |
Example theory file
Diffstat (limited to 'isa/example.thy')
| -rw-r--r-- | isa/example.thy | 12 |
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 + + |