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 |