| Wed, 22 Jan 2014 17:22:08 +0100 |
wenzelm |
removed junk;
|
file |
diff |
annotate
|
| Tue, 21 Jan 2014 07:18:05 +0100 |
traytel |
compile
|
file |
diff |
annotate
|
| Sun, 18 Aug 2013 19:59:19 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
| Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
| Sat, 23 Apr 2011 13:00:19 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
| Fri, 07 May 2010 16:12:26 +0200 |
haftmann |
renamed Normalizer to the more specific Semiring_Normalizer
|
file |
diff |
annotate
|
| Thu, 06 May 2010 23:37:07 +0200 |
haftmann |
xsymbolized
|
file |
diff |
annotate
|
| Thu, 06 May 2010 17:59:19 +0200 |
haftmann |
dropped duplicate comp_arith
|
file |
diff |
annotate
|
| Thu, 06 May 2010 16:32:20 +0200 |
haftmann |
dropped auxiliary method sring_norm; integrated normalizer.ML and normalizer_data.ML
|
file |
diff |
annotate
|
| Fri, 23 Apr 2010 23:35:43 +0200 |
wenzelm |
mark schematic statements explicitly;
|
file |
diff |
annotate
|
| Wed, 29 Apr 2009 14:20:26 +0200 |
haftmann |
farewell to class recpower
|
file |
diff |
annotate
|
| Tue, 18 Mar 2008 20:33:33 +0100 |
wenzelm |
tuned proof;
|
file |
diff |
annotate
|
| Wed, 31 Oct 2007 12:19:45 +0100 |
chaieb |
Added example for the ideal membership problem solved by algebra
|
file |
diff |
annotate
|
| Thu, 05 Jul 2007 00:06:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 12 Jun 2007 10:40:44 +0200 |
chaieb |
Tuned proofs : now use 'algebra ad: ...'
|
file |
diff |
annotate
|
| Mon, 11 Jun 2007 18:34:12 +0200 |
nipkow |
nex example
|
file |
diff |
annotate
|
| Tue, 05 Jun 2007 22:47:49 +0200 |
wenzelm |
Groebner Basis Examples.
|
file |
diff |
annotate
|