[isabelle-dev] Number_Theory in ROOT

Makarius makarius at sketis.net
Wed Jan 29 15:48:59 CET 2014

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.


More information about the isabelle-dev mailing list