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 |