Wed, 01 Oct 2003 11:02:36 +0200 | berghofe | Fixed inefficiency in post_definition by adding weak case congruence | changeset | files |
Tue, 30 Sep 2003 17:05:50 +0200 | ballarin | Removed garbage accidentally left behind in file. | changeset | files |
Tue, 30 Sep 2003 15:13:02 +0200 | ballarin | Improvements to Isar/Locales: premises generated by "includes" elements | changeset | files |
Tue, 30 Sep 2003 15:10:59 +0200 | ballarin | Improvements to Isar/Locales: premises generated by "includes" elements | changeset | files |
Tue, 30 Sep 2003 15:10:26 +0200 | ballarin | Changed order of prems in finprod_cong. Slight speedup. | changeset | files |
Tue, 30 Sep 2003 15:09:35 +0200 | ballarin | Improvements wrt rule_tac. | changeset | files |
Tue, 30 Sep 2003 15:07:38 +0200 | ballarin | Improvements to Isar/Locales: premises generated by "includes" elements | changeset | files |