| 2010-09-23 | haftmann | resynchronize isabelle.sty | file | diff | annotate |
| 2010-09-20 | haftmann | updated file duplicate | file | diff | annotate |
| 2008-06-24 | wenzelm | updated generated file; | file | diff | annotate |
| 2008-05-15 | wenzelm | use Isabelle sty files from Doc/; | file | diff | annotate |