1.1 --- a/doc-src/IsarRef/classical.tex Fri Jul 30 13:44:29 1999 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,7 +0,0 @@
1.4 -
1.5 -\chapter{The Classical Reasoner}
1.6 -
1.7 -%%% Local Variables:
1.8 -%%% mode: latex
1.9 -%%% TeX-master: "isar-ref"
1.10 -%%% End: