| Tue, 30 Dec 2008 19:07:42 +0100 | wenzelm | prep_result: Thm.close_derivation of witness theorem avoids performance issues with proof terms; | changeset | files |
| Tue, 30 Dec 2008 16:50:46 +0100 | ballarin | New locales. | changeset | files |
| Tue, 30 Dec 2008 11:10:01 +0100 | ballarin | Merged. | changeset | files |
| Tue, 30 Dec 2008 08:18:54 +0100 | ballarin | Temporarily avoid type errors in parse phase. | changeset | files |
| Tue, 23 Dec 2008 14:29:27 +0100 | ballarin | More liberal consistency check for defines elements. | changeset | files |
| Fri, 19 Dec 2008 16:39:23 +0100 | ballarin | All logics ported to new locales. | changeset | files |
| Fri, 19 Dec 2008 15:05:37 +0100 | ballarin | Merged. | changeset | files |