src/HOL/Recdef.thy
1998-07-03 wenzelm 1998-07-03 stepping stones;