Mon, 17 Feb 1997 13:54:24 +0100 | wenzelm | mk_rews: automatically includes strip_shyps, zero_var_indexes; | changeset | files |
Mon, 17 Feb 1997 13:26:32 +0100 | slotosch | New file for theorems of Porder0 | changeset | files |
Mon, 17 Feb 1997 12:00:00 +0100 | wenzelm | tuned comments; | changeset | files |