src/Pure/compress.ML
Fri, 15 Sep 2006 22:56:13 +0200 wenzelm renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
Thu, 15 Sep 2005 17:16:56 +0200 wenzelm TableFun/Symtab: curried lookup and update;
Thu, 01 Sep 2005 18:48:50 +0200 wenzelm curried_lookup/update;
Mon, 01 Aug 2005 19:20:35 +0200 wenzelm compression of terms and types by sharing common subtrees;
less more (0) tip