changeset 42511 | bf89455ccf9d |
parent 40405 | 42671298f037 |
42510:b9c106763325 | 42511:bf89455ccf9d |
---|---|
1 \documentclass[11pt,a4paper]{article} |
1 \documentclass[11pt,a4paper]{article} |
2 \usepackage{amsmath} |
2 \usepackage{amsmath} |
3 \usepackage{../../../isabelle,../../../isabellesym} |
3 \usepackage{../../../../lib/texinputs/isabelle,../../../../lib/texinputs/isabellesym} |
4 \usepackage{verbatim} |
4 \usepackage{verbatim} |
5 \usepackage{alltt} |
5 \usepackage{alltt} |
6 \usepackage{array} |
6 \usepackage{array} |
7 |
7 |
8 \usepackage{amssymb} |
8 \usepackage{amssymb} |