src/HOL/IMP/document/root.bib
2015-09-22 nipkow 2015-09-22 tuned references
2014-01-05 nipkow 2014-01-05 minimized class dependency, updated references
2001-12-09 kleing 2001-12-09 latex output setup