equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{article} |
1 \documentclass[11pt,a4paper]{article} |
2 \usepackage{../../../isabelle,../../../isabellesym} |
2 \usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/isabellesym} |
3 |
3 |
4 % further packages required for unusual symbols (see also isabellesym.sty) |
4 % further packages required for unusual symbols (see also isabellesym.sty) |
5 % use only when needed |
5 % use only when needed |
6 \usepackage{amssymb} |
6 \usepackage{amssymb} |
7 |
7 |