changeset 57002 | 97a80d41a5ba |
parent 48985 | 5386df44a037 |
child 57003 | 188b70a00229 |
57001:db2e51a80ab5 | 57002:97a80d41a5ba |
---|---|
1 \documentclass[11pt,a4paper]{article} |
1 \documentclass[11pt,a4paper]{article} |
2 \usepackage[T1]{fontenc} |
|
3 \usepackage[nohyphen,strings]{underscore} |
|
2 \usepackage{amsmath} |
4 \usepackage{amsmath} |
3 \usepackage{isabelle,isabellesym} |
5 \usepackage{isabelle,isabellesym} |
4 \usepackage{verbatim} |
6 \usepackage{verbatim} |
5 \usepackage{alltt} |
7 \usepackage{alltt} |
6 \usepackage{array} |
8 \usepackage{array} |