doc-src/Contents

More blacklisting
CASC mode now always on, due to switch to Vampire 8.1 (i.e. the 2006 version)
Now runs ATPs unless time_limit = 0.

Ref System Logics HOL ZF Inductive AxClass TutorialI IsarOverview IsarRef IsarImplementation Locales LaTeXsugar IsarAdvanced/Classes IsarAdvanced/Codegen