| Mon, 31 Aug 2009 14:09:42 +0200 | nipkow | tuned the simp rules for Int involving insert and intervals. | 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 |
| Thu, 12 Mar 2009 08:57:03 -0700 | huffman | remove trailing spaces | file | diff | annotate |
| Wed, 04 Mar 2009 23:52:47 +0100 | wenzelm | removed old/broken CVS Ids; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Mon, 23 Feb 2009 10:42:31 -0800 | huffman | explicitly import Fact | file | diff | annotate |
| Fri, 20 Feb 2009 22:25:36 -0800 | huffman | generalize lemmas from nat to 'a::wellorder | file | diff | annotate |
| Fri, 20 Feb 2009 22:10:37 -0800 | huffman | generalize some lemmas | file | diff | annotate |
| Mon, 09 Feb 2009 16:42:15 +0000 | chaieb | Permutations, both general and specifically on finite sets. | file | diff | annotate |