src/HOL/ex/Recdef.ML
1997-06-06 paulson 1997-06-06 New example theory: Recdef