2006-01-19 ago setup: theory -> theory;
2005-09-20 ago slight adaptions to library changes
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-14 ago added prem10 - prem19
2005-09-01 ago curried_lookup/update;
2005-06-22 ago renamed data kind;
2005-06-17 ago accomodate change of TheoryDataFun;
2005-06-01 ago renamed premise* to prem
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