src/HOL/Wellfounded_Recursion.thy
2000-10-12 nipkow 2000-10-12 *** empty log message ***