Tue, 17 Nov 1998 14:04:52 +0100 | wenzelm | Pretty.spc; | changeset | files |
Tue, 17 Nov 1998 14:04:32 +0100 | wenzelm | added pretty_tthms, print_tthms; | changeset | files |
Tue, 17 Nov 1998 10:29:28 +0100 | paulson | new theory UNITY/PPROD | changeset | files |