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