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.