src/HOL/Wellfounded_Relations.thy
2001-12-06 wenzelm 2001-12-06 renamed Finite to Finite_Set;
2001-07-25 paulson 2001-07-25 Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice
2001-07-25 paulson 2001-07-25 partial restructuring to reduce dependence on Axiom of Choice
2001-02-15 oheimb 2001-02-15 moved inv_image to Relation
2001-01-31 oheimb 2001-01-31 improved theory reference in comment
2000-10-12 nipkow 2000-10-12 *** empty log message ***