| 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 |
| Fri, 03 Nov 2000 21:27:06 +0100 | wenzelm | improved handling of "that": insert into goal, only declare as Pure "intro"; | changeset | files |