src/Pure/compress.ML
2008-03-28 wenzelm 2008-03-28 Context.>> : operate on Context.generic;
2008-03-27 wenzelm 2008-03-27 implicit setup of emerging theory Pure;
2007-12-18 wenzelm 2007-12-18 non-critical (accidental concurrent access does not affect functional integrity);
2007-07-29 wenzelm 2007-07-29 NAMED_CRITICAL;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections (for multithreading);
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2006-09-15 wenzelm 2006-09-15 renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
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-01 wenzelm 2005-08-01 compression of terms and types by sharing common subtrees;