equal
deleted
inserted
replaced
1 |
1 |
2 \chapter{HOL specific elements} |
2 \chapter{Isabelle/HOL specific elements} |
3 |
3 |
4 %%% Local Variables: |
4 %%% Local Variables: |
5 %%% mode: latex |
5 %%% mode: latex |
6 %%% TeX-master: "isar-ref" |
6 %%% TeX-master: "isar-ref" |
7 %%% End: |
7 %%% End: |