src/HOL/ex/Recdef.thy
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-08-05 nipkow 1997-08-05 Added example mapf which requires a special congruence rule.
1997-06-06 paulson 1997-06-06 Two new examples; corrected a comment
1997-06-05 paulson 1997-06-05 New recdef examples