Wed, 09 Jul 2003 12:41:47 +0200 | paulson | ~= to neq | changeset | files |
Wed, 09 Jul 2003 11:39:34 +0200 | paulson | converting more theories to Isar scripts, and tidying | changeset | files |
Tue, 08 Jul 2003 11:44:30 +0200 | paulson | Conversion of ZF/UNITY/{FP,Union} to Isar script. | changeset | files |