src/HOL/ex/Recdef.ML
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-17 nipkow 1997-10-17 setloop split_tac -> addsplits
1997-08-05 nipkow 1997-08-05 Added example mapf which requires a special congruence rule.
1997-06-06 paulson 1997-06-06 New example theory: Recdef