doc-src/TutorialI/Inductive/document/Advanced.tex
2000-12-06 paulson 2000-12-06 auto update
2000-12-04 wenzelm 2000-12-04 *** empty log message ***
2000-11-14 paulson 2000-11-14 auto update
2000-11-12 wenzelm 2000-11-12 updated;
2000-11-02 paulson 2000-11-02 auto generated