doc-src/TutorialI/Inductive/ROOT.ML
2000-11-03 paulson 2000-11-03 replaced Acc.thy by Advanced.thy
2000-10-26 paulson 2000-10-26 added the $Id:$ line
2000-10-16 nipkow 2000-10-16 *** empty log message ***
2000-10-13 nipkow 2000-10-13 *** empty log message ***