| Sun, 21 Mar 2010 15:57:40 +0100 |
wenzelm |
eliminated old constdefs;
|
file |
diff |
annotate
|
| Thu, 26 Mar 2009 20:08:55 +0100 |
wenzelm |
interpretation/interpret: prefixes are mandatory by default;
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 17:19:15 +0100 |
wenzelm |
proper local context for text with antiquotations;
|
file |
diff |
annotate
|
| Wed, 17 Dec 2008 17:53:56 +0100 |
ballarin |
More porting to new locales.
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 21:10:53 +0100 |
ballarin |
More porting to new locales.
|
file |
diff |
annotate
|
| Fri, 01 Aug 2008 18:10:52 +0200 |
ballarin |
Generalised polynomial lemmas from cring to ring.
|
file |
diff |
annotate
|
| Thu, 31 Jul 2008 09:49:21 +0200 |
ballarin |
Tuned (for the sake of a meaningless log entry).
|
file |
diff |
annotate
|
| Tue, 29 Jul 2008 16:17:13 +0200 |
ballarin |
Unit_inv_l, Unit_inv_r made [simp].
|
file |
diff |
annotate
|
| Tue, 15 Jul 2008 16:50:09 +0200 |
ballarin |
Removed uses of context element includes.
|
file |
diff |
annotate
|
| Wed, 05 Mar 2008 21:42:21 +0100 |
wenzelm |
explicit referencing of background facts;
|
file |
diff |
annotate
|
| Thu, 21 Jun 2007 20:07:26 +0200 |
wenzelm |
tuned proofs -- avoid implicit prems;
|
file |
diff |
annotate
|
| Thu, 21 Jun 2007 17:28:53 +0200 |
wenzelm |
tuned proofs -- avoid implicit prems;
|
file |
diff |
annotate
|
| Thu, 14 Jun 2007 10:38:48 +0200 |
wenzelm |
tuned proofs: avoid implicit prems;
|
file |
diff |
annotate
|
| Wed, 13 Jun 2007 00:01:41 +0200 |
wenzelm |
tuned proofs: avoid implicit prems;
|
file |
diff |
annotate
|
| Thu, 03 Aug 2006 14:57:26 +0200 |
ballarin |
Restructured algebra library, added ideals and quotient rings.
|
file |
diff |
annotate
|