equal
deleted
inserted
replaced
1 \documentclass[11pt,a4paper]{article} |
1 \documentclass[11pt,a4paper]{article} |
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle} |
|
3 \usepackage{isabellesym} |
|
4 \usepackage{amsmath} |
|
5 \usepackage{amssymb} |
|
6 \usepackage{tikz} |
|
7 \usepackage{pgf} |
|
8 \usepackage{pdfsetup} |
|
9 \usepackage{ot1patch} |
|
10 \usepackage{times} |
|
11 \usepackage{proof} |
|
12 \usepackage{stmaryrd} |
|
13 \usepackage{tikz} |
|
14 \usetikzlibrary{arrows,automata,decorations,fit,calc} |
|
15 \usetikzlibrary{shapes,shapes.arrows,snakes,positioning} |
|
16 \usepgflibrary{shapes.misc} % LATEX and plain TEX and pure pgf |
|
17 \usetikzlibrary{matrix} |
|
18 \usepackage{subfigure} |
|
19 |
|
20 \urlstyle{rm} |
|
21 \isabellestyle{it} |
|
22 \renewcommand{\isastyleminor}{\it}% |
|
23 \renewcommand{\isastyle}{\normalsize\it}% |
|
24 |
|
25 |
|
26 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
|
27 \renewcommand{\isasymequiv}{$\dn$} |
|
28 \renewcommand{\isasymemptyset}{$\varnothing$} |
|
29 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
3 |
30 |
4 % further packages required for unusual symbols (see also |
31 % further packages required for unusual symbols (see also |
5 % isabellesym.sty), use only when needed |
32 % isabellesym.sty), use only when needed |
6 |
33 |
7 %\usepackage{amssymb} |
34 %\usepackage{amssymb} |
34 \isabellestyle{it} |
61 \isabellestyle{it} |
35 |
62 |
36 % for uniform font size |
63 % for uniform font size |
37 %\renewcommand{\isastyle}{\isastyleminor} |
64 %\renewcommand{\isastyle}{\isastyleminor} |
38 |
65 |
39 |
|
40 \begin{document} |
66 \begin{document} |
41 |
67 |
42 \title{ListP} |
68 \title{ListP} |
43 \author{By xingyuan} |
69 \author{By xingyuan} |
44 \maketitle |
70 \maketitle |