| Fri, 07 Mar 2008 13:53:04 +0100 | haftmann | whitespace tuning | file | diff | annotate |
| Thu, 28 Feb 2008 12:56:30 +0100 | wenzelm | wf_trancl: structured proof; | file | diff | annotate |
| Thu, 21 Feb 2008 17:33:58 +0100 | nipkow | moved bij_betw from Library/FuncSet to Fun, redistributed some lemmas, and | file | diff | annotate |
| Fri, 15 Feb 2008 16:09:12 +0100 | haftmann | <= and < on nat no longer depend on wellfounded relations | file | diff | annotate |
| Wed, 06 Feb 2008 16:06:40 +0100 | krauss | lemma wf_union_compatible: "wf R ==> wf S ==> S O R <= R ==> wf (R Un S)" | file | diff | annotate |
| Tue, 13 Nov 2007 11:02:55 +0100 | berghofe | Removed some case_names and consumes attributes that are now no longer | file | diff | annotate |
| Fri, 26 Oct 2007 21:22:18 +0200 | haftmann | dropped square syntax | file | diff | annotate |