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 |
Fri, 17 Jun 2005 18:33:36 +0200 | wenzelm | Context.PureN; | changeset | files |
Fri, 17 Jun 2005 18:33:35 +0200 | wenzelm | RuleCases.tactic; | changeset | files |