Fri, 08 Oct 1999 17:06:48 +0200 | wenzelm | old_header: proper error message; | changeset | files |
Fri, 08 Oct 1999 16:47:44 +0200 | wenzelm | tuned presentation; | changeset | files |
Fri, 08 Oct 1999 16:40:27 +0200 | wenzelm | update from Gertrud; | changeset | files |
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 |