| Fri, 17 Jun 2005 18:33:39 +0200 | wenzelm | removed obsolete theory_of_sign, theory_of_thm; | changeset | files |
| Fri, 17 Jun 2005 18:33:38 +0200 | wenzelm | PolyML.Compiler.printInAlphabeticalOrder := false; | changeset | files |
| Fri, 17 Jun 2005 18:33:37 +0200 | wenzelm | Context.DATA_FAIL; | changeset | files |