Fri, 08 Oct 1999 16:18:51 +0200 | wenzelm | tuned; | changeset | files |
Fri, 08 Oct 1999 16:17:59 +0200 | wenzelm | url; | changeset | files |
Fri, 08 Oct 1999 16:16:51 +0200 | wenzelm | theorem database now also indexes constants "Trueprop", "all", | changeset | files |