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