src/HOL/Wellfounded_Relations.thy
2001-01-31 oheimb 2001-01-31 improved theory reference in comment
2000-10-12 nipkow 2000-10-12 *** empty log message ***