equal
deleted
inserted
replaced
1 \documentclass{article} |
1 \documentclass{article} |
2 %%\includeonly{Types/types} %%UNCOMMENT to process only selected chapters |
2 %%\includeonly{Types/types} %%UNCOMMENT to process only selected chapters |
3 \usepackage{cl2emono-modified,../isabelle,../isabellesym} |
3 \usepackage{cl2emono-modified,../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym} |
4 \usepackage{../proof,amsmath,amsfonts} |
4 \usepackage{../proof,amsmath,amsfonts} |
5 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment} |
5 \usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,../ttbox,comment} |
6 \usepackage[greek,english]{babel} |
6 \usepackage[greek,english]{babel} |
7 \usepackage{../pdfsetup} |
7 \usepackage{../pdfsetup} |
8 %last package! |
8 %last package! |