On Wed, 29 Jan 2014, Lawrence Paulson wrote:
session "HOL-Number_Theory" in Number_Theory = HOL +
options [document = false]
theories Number_Theory
As long as there is a global document = false here, it does not matter in
which order which theories are loaded.
The update could be taken as an oppurtunity for some default document
setup, though.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
