src/HOL/Cardinals/Wellfounded_More_FP.thy
2014-01-16 blanchet 2014-01-16 adapted to move of Wfrec
2013-11-18 blanchet 2013-11-18 compile