doc-src/Contents
2000-04-19 wenzelm 2000-04-19 TuturialI;
1999-07-19 wenzelm 1999-07-19 added isar-ref;
1999-05-04 wenzelm 1999-05-04 HOL;
1999-01-13 paulson 1999-01-13 new manual ZF
1998-08-26 wenzelm 1998-08-26 added HOL tutorial;
1997-05-12 wenzelm 1997-05-12 added System;
1997-05-12 wenzelm 1997-05-12 added AxClass;
1997-05-12 wenzelm 1997-05-12 list of manuals to be made automatically;