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