src/HOL/Wellfounded_Recursion.thy
2004-11-30 kleing 2004-11-30 blast_tac -> blast in comment (fix latex error)
2004-11-29 paulson 2004-11-29 converted to Isar script, simplifying some results
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 ***