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