src/HOL/Wellfounded_Recursion.thy
2001-07-25 paulson 2001-07-25 partial restructuring to reduce dependence on Axiom of Choice
2001-05-22 berghofe 2001-05-22 Inductive characterization of wfrec combinator.
2001-02-15 oheimb 2001-02-15 added wellorder axclass
2000-10-12 nipkow 2000-10-12 *** empty log message ***