Thu, 22 Oct 2009 09:27:48 +0200 | nipkow | inv_onto -> inv_into | file | diff | annotate |
Sun, 18 Oct 2009 12:07:25 +0200 | nipkow | Inv -> inv_onto, inv abbr. inv_onto UNIV. | file | diff | annotate |
Fri, 11 May 2007 00:43:45 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
Tue, 07 Mar 2006 16:03:31 +0100 | obua | Added HOL-ZF to Isabelle. | file | diff | annotate |