src/HOL/Recdef.thy
1999-04-16 wenzelm 1999-04-16 'HOL/recdef' theory data; induct method setup;
1998-07-03 wenzelm 1998-07-03 stepping stones;