diff options
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. + |