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
|