| 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 |