doc-src/System/Thy/ROOT.ML

moved recursion combinator to HOL/Library/Wfrec.thy -- it is so fundamental and well-known that it should survive recdef

use_thys ["Basics", "Interfaces", "Presentation", "Misc"];