src/Doc/manual.bib
2012-11-20 wenzelm 2012-11-20 some documentation for "algebra" in HOL;
2012-11-19 wenzelm 2012-11-19 more refs;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;