1
2 \chapter{The Simplifier and Classical Reasoner}
3
4 %%% Local Variables:
5 %%% mode: latex
6 %%% TeX-master: "isar-ref"
7 %%% End: