doc-src/Tutorial/extra.sty
2000-08-22 paulson 2000-08-22 updated to latest versions of ttbox and ttbreak
1998-08-26 nipkow 1998-08-26 The HOL tutorial.