Tue, 05 Sep 2000 18:46:36 +0200 | wenzelm | iff declarations moved to clasimp.ML; | changeset | files |
Tue, 05 Sep 2000 18:45:51 +0200 | wenzelm | added not; | changeset | files |
Tue, 05 Sep 2000 18:45:09 +0200 | wenzelm | simplified PG/X-Symbol intro; | changeset | files |