| changeset 26850 | d889d57445dc |
| parent 26849 | df50bc1249d7 |
| child 26851 | 0242c9c980df |
| 26849:df50bc1249d7 | 26850:d889d57445dc |
|---|---|
1 \input{intro.tex} |
|
2 |
|
3 \input{syntax.tex} |
|
4 |
|
5 \input{pure.tex} |
|
6 |
|
7 \input{Generic.tex} |
|
8 |
|
9 \input{HOL_Specific.tex} |
|
10 |
|
11 \input{Quick_Reference.tex} |
|
12 |
|
13 \input{ML_Tactic.tex} |
|
14 |
|
15 %%% Local Variables: |
|
16 %%% mode: latex |
|
17 %%% TeX-master: "root" |
|
18 %%% End: |