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 |
Fri, 26 Sep 2003 11:08:18 +0200 | paulson | new reference | changeset | files |
Fri, 26 Sep 2003 11:04:21 +0200 | paulson | tweak | changeset | files |