Fri, 01 Oct 1999 20:41:58 +0200 | wenzelm | fixed no_qed; | changeset | files |
Fri, 01 Oct 1999 20:40:03 +0200 | wenzelm | added Isar/obtain.ML; | changeset | files |
Fri, 01 Oct 1999 20:39:40 +0200 | wenzelm | improved 'fix' / Skolem interfaces; | changeset | files |