diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 16:41:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-12 16:41:59 +0000 |
commit | af9172e5c00ce36f89473b07dedc3f4e86e89b04 (patch) | |
tree | b19cacd3df0919963dbf65ef47de7d6bd76da1f8 /af2 | |
parent | 30f57d1daa01cbb1f3716c8d2d4a354b2b8ec4fa (diff) |
Rather empty example.
Diffstat (limited to 'af2')
-rw-r--r-- | af2/example.af2 | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/af2/example.af2 b/af2/example.af2 new file mode 100644 index 00000000..0b3c68a2 --- /dev/null +++ b/af2/example.af2 @@ -0,0 +1,5 @@ +(* + Example proof script for AF2 Proof General + + $Id$ +*)
\ No newline at end of file |