Wed, 28 Nov 2007 09:01:34 +0100 |
haftmann |
dropped legacy ml bindings
|
file |
diff |
annotate
|
Tue, 30 Oct 2007 08:45:54 +0100 |
haftmann |
continued localization
|
file |
diff |
annotate
|
Tue, 23 Oct 2007 23:27:23 +0200 |
nipkow |
went back to >0
|
file |
diff |
annotate
|
Thu, 09 Aug 2007 15:52:45 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Tue, 31 Jul 2007 19:38:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 31 Jul 2007 00:56:26 +0200 |
wenzelm |
arith method setup: proper context;
|
file |
diff |
annotate
|
Thu, 19 Jul 2007 21:47:36 +0200 |
haftmann |
added of_int_of_nat
|
file |
diff |
annotate
|
Wed, 13 Jun 2007 03:31:11 +0200 |
huffman |
removed constant int :: nat => int;
|
file |
diff |
annotate
|
Mon, 11 Jun 2007 01:22:29 +0200 |
huffman |
add int_of_nat versions of lemmas about int::nat=>int
|
file |
diff |
annotate
|
Tue, 05 Jun 2007 19:23:09 +0200 |
haftmann |
tuned boostrap
|
file |
diff |
annotate
|
Thu, 31 May 2007 18:16:52 +0200 |
wenzelm |
moved Integ files to canonical place;
|
file |
diff |
annotate
|