| Mon, 06 Feb 2006 20:59:01 +0100 | wenzelm | load envir.ML and logic.ML early; | changeset | files |
| Mon, 06 Feb 2006 20:59:00 +0100 | wenzelm | Logic.rlist_abs; | changeset | files |
| Mon, 06 Feb 2006 20:58:59 +0100 | wenzelm | Logic.const_of_class/class_of_const; | changeset | files |
| Mon, 06 Feb 2006 20:58:57 +0100 | wenzelm | TableFun: renamed xxx_multi to xxx_list; | changeset | files |
| Mon, 06 Feb 2006 20:58:56 +0100 | wenzelm | replaced Symtab.merge_multi by local merge_rules; | changeset | files |
| Mon, 06 Feb 2006 20:58:54 +0100 | wenzelm | Envir.(beta_)eta_contract; | changeset | files |
| Mon, 06 Feb 2006 11:01:28 +0100 | haftmann | subsituted gen_duplicates / has_duplicates for duplicates whenever appropriate | changeset | files |