doc-src/TutorialI/Misc/AdvancedInd.thy
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-11-08 nipkow 2000-11-08 *** empty log message ***
2000-11-06 nipkow 2000-11-06 *** empty log message ***
2000-10-31 nipkow 2000-10-31 *** empty log message ***
2000-10-25 nipkow 2000-10-25 *** empty log message ***
2000-10-20 nipkow 2000-10-20 *** empty log message ***
2000-10-18 nipkow 2000-10-18 *** empty log message ***
2000-10-18 paulson 2000-10-18 wellfounded -> well-founded
2000-10-17 nipkow 2000-10-17 *** empty log message ***
2000-10-13 nipkow 2000-10-13 *** empty log message ***
2000-10-11 nipkow 2000-10-11 *** empty log message ***
2000-09-12 wenzelm 2000-09-12 renamed atts: rulify to rule_format, elimify to elim_format;
2000-09-12 nipkow 2000-09-12 *** empty log message ***
2000-09-11 wenzelm 2000-09-11 renamed "rulify" to "rulified"; renamed "less_induct" to "nat_less_induct";
2000-09-05 nipkow 2000-09-05 *** empty log message ***
2000-09-01 nipkow 2000-09-01 *** empty log message ***
2000-08-29 nipkow 2000-08-29 *** empty log message ***
2000-08-28 nipkow 2000-08-28 *** empty log message ***
2000-08-18 nipkow 2000-08-18 *** empty log message ***