src/HOL/Library/Wfrec.thy
2011-08-17 huffman 2011-08-17 Wfrec.thy: respect set/pred distinction
2011-08-02 krauss 2011-08-02 moved recursion combinator to HOL/Library/Wfrec.thy -- it is so fundamental and well-known that it should survive recdef