src/Pure/Isar/comment.ML
1999-12-22 ago text: string list;
1999-09-29 ago added string_of: text -> string;
1999-08-03 ago improved interest;
1999-05-25 ago renamed empty to none;
1999-04-30 ago added Isar/comment.ML;