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