Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Thu, 01 Oct 2009 16:42:53 +0100 | paulson | Proved a new theorem: nat_to_nat2_inj | file | diff | annotate |
Mon, 10 Aug 2009 18:12:55 +0200 | nipkow | added bij lemmas | file | diff | annotate |
Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
Fri, 13 Feb 2009 09:54:47 +0100 | nipkow | Moved Nat_Int_Bij into Library | file | diff | annotate | base |