src/HOL/Recdef.thy
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-09-05 wenzelm 2000-09-05 improved recdef setup;
2000-02-27 wenzelm 2000-02-27 early setup of induct_method;
1999-10-04 wenzelm 1999-10-04 load / setup recdef package (TFL);
1999-08-25 wenzelm 1999-08-25 proper bootstrap of HOL theory and packages;
1999-04-16 wenzelm 1999-04-16 'HOL/recdef' theory data; induct method setup;
1998-07-03 wenzelm 1998-07-03 stepping stones;