src/Pure/Isar/README
1999-09-06 wenzelm 1999-09-06 added README;