| Tue, 07 Sep 2010 10:05:19 +0200 | nipkow | expand_fun_eq -> ext_iff | file | diff | annotate |
| Sun, 25 Apr 2010 23:22:29 -0700 | huffman | fix duplicate simp rule warnings | file | diff | annotate |
| Sat, 24 Apr 2010 13:34:11 -0700 | huffman | fix imports | file | diff | annotate |
| Wed, 16 Dec 2009 15:10:08 -0800 | huffman | swap_self already declared [simp] | file | diff | annotate |
| Mon, 16 Nov 2009 15:03:23 +0100 | hoelzl | removed hassize predicate | file | diff | annotate |
| Thu, 22 Oct 2009 09:27:48 +0200 | nipkow | inv_onto -> inv_into | file | diff | annotate |
| Sun, 18 Oct 2009 12:07:56 +0200 | nipkow | merged | file | diff | annotate |
| Sun, 18 Oct 2009 12:07:25 +0200 | nipkow | Inv -> inv_onto, inv abbr. inv_onto UNIV. | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| 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 |