Sat, 30 Jan 1999 10:42:40 +0100 | wenzelm | Theory loader primitives. | changeset | files |
Fri, 29 Jan 1999 17:12:34 +0100 | oheimb | corrected output of symbols for several (probably not all) relevant functions | changeset | files |
Fri, 29 Jan 1999 17:12:14 +0100 | oheimb | renamed space2 to spacespace | changeset | files |