TFL/thry.ML
2005-11-16 wenzelm tuned Pattern.match/unify;
2005-09-15 wenzelm TableFun/Symtab: curried lookup and update;
2005-09-01 wenzelm curried_lookup/update;
2005-08-31 wenzelm refer to theory instead of low-level tsig;
2005-07-28 wenzelm Sign.typ_match;
2005-04-21 berghofe Adapted to new interface of instantiation and unification / matching functions.
2005-03-03 skalberg Move towards standard functions.
2005-02-13 skalberg Deleted Library.option type.
2001-12-03 wenzelm HOLogic.typeS;
2001-01-03 wenzelm renamed .sml files to .ML;
less more (0) tip