Mon, 20 Mar 2000 10:23:24 +0100 | paulson | deleted unnecessary "simpset" part from recdef | changeset | files |
Sat, 18 Mar 2000 19:20:10 +0100 | wenzelm | 'oops' made proper; | changeset | files |
Sat, 18 Mar 2000 19:19:53 +0100 | wenzelm | intro_classes_tac: REPEAT_ALL_NEW; | changeset | files |