doc-src/IsarImplementation/Thy/document/logic.tex

 %
 \isadelimtheory
 %
 \endisadelimtheory
 %
-\isamarkupchapter{Pure logic%
+\isamarkupchapter{Primitive logic%
 }
 \isamarkuptrue%
 %
 \isamarkupsection{Syntax%
 }