doc-src/TutorialI/appendix.tex
2001-11-14 ago inductive: removed con_defs;
2001-07-24 ago tweaks and indexing
2001-03-13 ago *** empty log message ***
2001-02-20 ago *** empty log message ***
2001-02-05 ago tuned
2001-01-26 ago *** empty log message ***
2001-01-25 ago *** empty log message ***
2001-01-06 ago *** empty log message ***
2000-12-13 ago *** empty log message ***
2000-12-05 ago *** empty log message ***
2000-11-29 ago *** empty log message ***
2000-10-25 ago *** empty log message ***
2000-10-18 ago *** empty log message ***
2000-10-09 ago *** empty log message ***
2000-10-09 ago *** empty log message ***
2000-09-12 ago *** empty log message ***
2000-08-06 ago *** empty log message ***
2000-05-09 ago updated keywords;
2000-04-25 ago *** empty log message ***
2000-04-19 ago I wonder if that's all?