path: root/isar/ex/README

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.