[isabelle-dev] Number_Theory in ROOT

[Makarius]

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