| Mon, 28 Jun 2010 15:32:17 +0200 |
haftmann |
explicit is better than implicit
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 19:36:40 +0200 |
haftmann |
tuned whitespace
|
file |
diff |
annotate
|
| Fri, 04 Jun 2010 17:32:30 +0200 |
haftmann |
avoid flowerish abbreviation
|
file |
diff |
annotate
|
| Wed, 02 Jun 2010 16:24:13 +0200 |
haftmann |
dropped lemma duplicate
|
file |
diff |
annotate
|
| Wed, 02 Jun 2010 15:35:14 +0200 |
haftmann |
removed dependency of Euclid on Old_Number_Theory
|
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, 01 Sep 2009 15:39:33 +0200 |
haftmann |
some reorganization of number theory
|
file |
diff |
annotate
|
| Tue, 07 Jul 2009 20:16:06 +0200 |
wenzelm |
fixed proof (cf. 40501bb2d57c);
|
file |
diff |
annotate
|
| Sun, 22 Feb 2009 09:52:28 +0100 |
nipkow |
name fix
|
file |
diff |
annotate
|
| Sun, 24 Aug 2008 14:42:24 +0200 |
haftmann |
default replaces arbitrary
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 23:50:33 +0100 |
wenzelm |
modernized primrec;
|
file |
diff |
annotate
|
| Tue, 18 Dec 2007 00:17:00 +0100 |
wenzelm |
split_primel: salvaged original proof after blow with sledghammer
|
file |
diff |
annotate
|
| Tue, 13 Nov 2007 10:58:46 +0100 |
berghofe |
New case studies for program extraction.
|
file |
diff |
annotate
|