diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 12:48:09 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 12:48:09 +0000 |
| commit | 417a4ed168b8982f7f8db417e2deb23693beedc7 (patch) | |
| tree | 974d75035a7ba28425d4c8e2727c8a3ea22a79ee /isar/ex/README | |
| parent | 5903d4c5739d899a6b2fcb7574814ebb9d37d4f0 (diff) | |
Move distribution examples into subdir
Diffstat (limited to 'isar/ex/README')
| -rw-r--r-- | isar/ex/README | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/isar/ex/README b/isar/ex/README new file mode 100644 index 00000000..efa79fdb --- /dev/null +++ b/isar/ex/README @@ -0,0 +1,7 @@ +This directory contains some example files copied from Isabelle2009-2. + +These are re-distributed with Proof General for convenience of trying +out PG without needing a local installation of Isabelle. + +They can also be used as test cases. + |