src/HOL/Wellfounded_Relations.ML
2001-01-29 nipkow 2001-01-29 Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy
2000-12-13 nipkow 2000-12-13 small mods.
2000-10-17 paulson 2000-10-17 renaming of contrapos rules
2000-10-12 nipkow 2000-10-12 *** empty log message ***