TFL/thry.ML
2006-04-06 haftmann 2006-04-06 cleanup in typedef/datatype package
2005-11-16 wenzelm 2005-11-16 tuned Pattern.match/unify;
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-31 wenzelm 2005-08-31 refer to theory instead of low-level tsig;
2005-07-28 wenzelm 2005-07-28 Sign.typ_match;
2005-04-21 berghofe 2005-04-21 Adapted to new interface of instantiation and unification / matching functions.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2001-12-03 wenzelm 2001-12-03 HOLogic.typeS;
2001-01-03 wenzelm 2001-01-03 renamed .sml files to .ML; proper handling of Isabelle exceptions; tuned;