| Fri, 13 Nov 2009 14:14:04 +0100 |
nipkow |
renamed lemmas "anti_sym" -> "antisym"
|
file |
diff |
annotate
|
| Mon, 19 Oct 2009 16:45:52 +0200 |
berghofe |
Removed unneeded reference to inv_def.
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
| Tue, 07 Jul 2009 17:39:51 +0200 |
nipkow |
renamed lemmas: nat_xyz/int_xyz -> xyz_nat/xyz_int
|
file |
diff |
annotate
|
| Thu, 18 Jun 2009 08:27:21 -0700 |
huffman |
update to use new GCD library
|
file |
diff |
annotate
|
| Thu, 26 Mar 2009 20:08:55 +0100 |
wenzelm |
interpretation/interpret: prefixes are mandatory by default;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 18:37:44 +0100 |
haftmann |
dropped print_interps
|
file |
diff |
annotate
|
| 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
|