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 |