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