| Sun, 14 Dec 2008 18:45:51 +0100 |
ballarin |
Ported HOL and HOL-Library to new locales.
|
file |
diff |
annotate
|
| Fri, 12 Dec 2008 15:02:15 +0100 |
ballarin |
Merged.
|
file |
diff |
annotate
|
| Fri, 12 Dec 2008 14:26:35 +0100 |
ballarin |
Ported to new locales.
|
file |
diff |
annotate
|
| Thu, 11 Dec 2008 18:30:26 +0100 |
ballarin |
Conversion of HOL-Main and ZF to new locales.
|
file |
diff |
annotate
|
| Mon, 17 Nov 2008 17:00:55 +0100 |
haftmann |
tuned unfold_locales invocation
|
file |
diff |
annotate
|
| Mon, 14 Jul 2008 11:04:42 +0200 |
haftmann |
unified curried gcd, lcm, zgcd, zlcm
|
file |
diff |
annotate
|
| Mon, 10 Dec 2007 11:24:06 +0100 |
haftmann |
explicit import of theory Main
|
file |
diff |
annotate
|
| Mon, 05 Nov 2007 17:48:17 +0100 |
ballarin |
Interpretation with named equations.
|
file |
diff |
annotate
|
| Wed, 10 Oct 2007 17:31:53 +0200 |
wenzelm |
proper latex antiquotations instead of adhoc escapes;
|
file |
diff |
annotate
|
| Tue, 24 Jul 2007 15:20:49 +0200 |
haftmann |
renamed lcm_lowest to lcm_least
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 13:48:30 +0200 |
ballarin |
interpretation: equations are propositions not pairs of terms;
|
file |
diff |
annotate
|
| Sun, 03 Jun 2007 23:16:47 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
| Fri, 20 Apr 2007 16:55:38 +0200 |
ballarin |
Interpretation equations applied to attributes
|
file |
diff |
annotate
|
| Sat, 14 Apr 2007 17:36:01 +0200 |
wenzelm |
do not enable Toplevel.debug globally;
|
file |
diff |
annotate
|
| Fri, 13 Apr 2007 10:00:04 +0200 |
ballarin |
New file for locale regression tests.
|
file |
diff |
annotate
|