| Mon, 11 Sep 2000 17:41:34 +0200 | wenzelm | improved WWW page generation (still somewhat experimental); | changeset | files |
| Mon, 11 Sep 2000 17:40:41 +0200 | wenzelm | added title, abstract, bibliography; | changeset | files |
| Mon, 11 Sep 2000 17:39:18 +0200 | wenzelm | proper markup of schematic (!) skolems; | changeset | files |