doc-src/Inductive/Makefile
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1999-05-18 paulson 1999-05-18 ../manual.bib a new dependency
1999-05-12 wenzelm 1999-05-12 pdf setup;
1999-05-10 wenzelm 1999-05-10 tuned;
1997-05-12 wenzelm 1997-05-12 'dist', 'clean';
1997-05-12 wenzelm 1997-05-12 moved here from ..