src/Pure/IsaPlanner/focus_term_lib.ML
2005-03-26 ago op vor infix-Konstruktoren im datatype binding zum besseren Parsen
2005-02-13 ago Deleted Library.option type.
2005-02-01 ago the new subst tactic, by Lucas Dixon