Thu, 04 Jul 2002 16:48:21 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 03 Oct 2001 20:54:16 +0200 |
wenzelm |
tuned parentheses in relational expressions;
|
file |
diff |
annotate
|
Wed, 25 Jul 2001 17:58:26 +0200 |
paulson |
Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice
|
file |
diff |
annotate
|
Tue, 22 May 2001 09:26:57 +0200 |
paulson |
nat_diff_split_asm, for the assumptions
|
file |
diff |
annotate
|
Fri, 23 Feb 2001 16:31:21 +0100 |
oheimb |
renamed addaltern to addafter, addSaltern to addSafter
|
file |
diff |
annotate
|
Tue, 20 Feb 2001 18:47:25 +0100 |
oheimb |
added add_arith (just as hint by now)
|
file |
diff |
annotate
|
Wed, 06 Dec 2000 10:23:06 +0100 |
paulson |
miniscoping of nat_diff_split
|
file |
diff |
annotate
|
Fri, 13 Oct 2000 08:28:21 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|