Sun, 29 Jul 2007 14:29:52 +0200 | wenzelm | replaced make_imp by rev_mp; | changeset | files |
Sun, 29 Jul 2007 14:29:51 +0200 | wenzelm | proper simproc_setup for "list_neq"; | changeset | files |
Sun, 29 Jul 2007 14:29:50 +0200 | wenzelm | removed obsolete Tools/res_atpset.ML; | changeset | files |