| Wed, 12 Nov 2008 17:23:22 +0100 | krauss | min_ext/max_ext lifting wellfounded relations on finite sets. Preserves wf | file | diff | annotate |
| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Tue, 07 Oct 2008 16:07:50 +0200 | haftmann | arbitrary is undefined | file | diff | annotate |
| Wed, 17 Sep 2008 15:59:23 +0200 | krauss | wf_finite_psubset[simp], in_finite_psubset[simp] | file | diff | annotate |
| Mon, 11 Aug 2008 14:49:53 +0200 | haftmann | moved class wellorder to theory Orderings | file | diff | annotate |
| Fri, 23 May 2008 17:19:24 +0200 | krauss | rearranged subsections | file | diff | annotate |
| Wed, 07 May 2008 10:56:52 +0200 | berghofe | - Explicitely passed pred_subset_eq and pred_equals_eq as an argument to the | file | diff | annotate |
| Fri, 25 Apr 2008 15:30:33 +0200 | krauss | Merged theories about wellfoundedness into one: Wellfounded.thy | file | diff | annotate |