doc-src/manual.bib
1999-05-18 paulson 1999-05-18 added Locale paper
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 axclass; datatype;
1999-05-10 wenzelm 1999-05-10 fixed URLs;
1999-05-07 paulson 1999-05-07 new refererences for Inductive manual, but still incomplete
1999-05-06 nipkow 1999-05-06 More refs.
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated