| Fri, 03 Nov 2000 21:29:56 +0100 | wenzelm | atomize: all automated tactics that "solve" goals; | changeset | files |
| Fri, 03 Nov 2000 21:28:15 +0100 | wenzelm | fixed two obscurities of "fix": predeclare_terms; | changeset | files |
| Fri, 03 Nov 2000 21:27:36 +0100 | wenzelm | tuned names; | changeset | files |