| Tue, 22 Apr 2008 08:33:16 +0200 | haftmann | constant HOL.eq now qualified | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:32 +0200 | haftmann | explicit class "eq" for operational equality | file | diff | annotate |
| Wed, 06 Feb 2008 12:51:23 +0100 | chaieb | between constant removed | file | diff | annotate |
| Mon, 21 Jan 2008 14:18:49 +0100 | berghofe | Removed Logic.auto_rename. | file | diff | annotate |
| Mon, 20 Aug 2007 18:07:28 +0200 | haftmann | turned locales intro classes | file | diff | annotate |
| Fri, 17 Aug 2007 00:03:50 +0200 | wenzelm | proper signature for Meson; | file | diff | annotate |
| Thu, 02 Aug 2007 23:18:13 +0200 | wenzelm | reset Logic.auto_rename; | file | diff | annotate |
| Thu, 02 Aug 2007 16:12:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 02 Aug 2007 15:44:37 +0200 | wenzelm | converted Meson tests to proper theory; | file | diff | annotate |