2008-08-11 haftmann 2008-08-11 moved class wellorder to theory Orderings
2008-05-23 krauss 2008-05-23 rearranged subsections
2008-05-07 berghofe 2008-05-07 - Explicitely passed pred_subset_eq and pred_equals_eq as an argument to the to_set and to_pred attributes, because it is no longer applied automatically - Manually applied predicate1I in proof of accp_subset, because it is no longer part of the claset - Replaced psubset_def by less_le
2008-04-25 krauss 2008-04-25 Merged theories about wellfoundedness into one: Wellfounded.thy