Fri, 12 Feb 1999 14:40:56 +0100 | oheimb | renamed space2 to spacespace | changeset | files |
Fri, 12 Feb 1999 13:56:21 +0100 | wenzelm | tuned pretty format lookup; | changeset | files |
Fri, 12 Feb 1999 13:55:54 +0100 | wenzelm | pretty_thm: quote terms (separately); | changeset | files |