| Thu, 10 Oct 2002 14:19:17 +0200 | berghofe | Removed obsolete function "Funs". | file | diff | annotate |
| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
| Tue, 07 Aug 2001 19:26:42 +0200 | berghofe | Eliminated dependency of Funs_rangeE on SOME. | file | diff | annotate |
| Mon, 06 Aug 2001 13:43:24 +0200 | nipkow | turned translation for 1::nat into def. | file | diff | annotate |
| Tue, 16 Jan 2001 00:29:43 +0100 | wenzelm | renamed Abs_Node_inject to Abs_Node_inj; | file | diff | annotate |
| Wed, 10 Jan 2001 11:14:30 +0100 | paulson | generalizing the LEAST theorems from "nat" to linear | file | diff | annotate |
| Thu, 12 Oct 2000 18:44:35 +0200 | nipkow | *** empty log message *** | file | diff | annotate |