src/Pure/Isar/term_style.ML
2005-06-01 ago concl antiqutations
2005-06-01 ago added premise<i>
2005-05-17 ago substantial tuning -- adapted to common conventions;
2005-05-15 ago Eta-expanded merge function (to make SmlNJ happy).
2005-05-14 ago added Proof.context to antiquotation
2005-05-03 ago final implementation of antiquotations styles