blob: c70f02f257d43a076c85a432ae980eaf4636a7a4 (
plain)
1
2
3
4
5
6
7
8
|
This directory contains some example files copied from the Isabelle
distribution.
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.
|