Wed, 29 Jul 2009 19:35:10 +0200 |
wenzelm |
Meson.first_order_resolve: avoid handle _;
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 22:09:09 +0200 |
wenzelm |
do not open OldGoals;
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 21:02:34 +0200 |
wenzelm |
explicit OldGoals;
|
file |
diff |
annotate
|
Wed, 22 Jul 2009 14:20:32 +0200 |
haftmann |
set intersection and union now named inter and union; closer connection between set and lattice operations; factored out complete lattice
|
file |
diff |
annotate
|
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
|