src/Pure/Isar/isar_syn.ML
1998-11-17 ago added 'theorems', 'lemmas', 'note';
1998-11-16 ago thm, thms;
1998-11-16 ago add print_theorems;
1998-11-09 ago Pure outer syntax.