discontinued HOL side-entry sessions -- may be configured in $ISABELLE_HOME_USER/ROOT instead;
authorwenzelm
Fri Jan 11 14:33:44 2013 +0100 (2013-01-11)
changeset 50833133a38b7ceaf
parent 50832 bfbb96177a25
child 50834 506342881c33
discontinued HOL side-entry sessions -- may be configured in $ISABELLE_HOME_USER/ROOT instead;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Fri Jan 11 13:24:22 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Fri Jan 11 14:33:44 2013 +0100
     1.3 @@ -8,24 +8,6 @@
     1.4      "document/root.bib"
     1.5      "document/root.tex"
     1.6  
     1.7 -session "HOL-Base" = Pure +
     1.8 -  description {* Raw HOL base, with minimal tools *}
     1.9 -  options [document = false]
    1.10 -  theories HOL
    1.11 -
    1.12 -session "HOL-Plain" = Pure +
    1.13 -  description {* HOL side-entry after bootstrap of many tools and packages *}
    1.14 -  options [document = false]
    1.15 -  theories Plain
    1.16 -
    1.17 -session "HOL-Main" = Pure +
    1.18 -  description {* HOL side-entry for Main only, without Complex_Main *}
    1.19 -  options [document = false]
    1.20 -  theories Main
    1.21 -  files
    1.22 -    "Tools/Quickcheck/Narrowing_Engine.hs"
    1.23 -    "Tools/Quickcheck/PNF_Narrowing_Engine.hs"
    1.24 -
    1.25  session "HOL-Proofs" = Pure +
    1.26    description {* HOL-Main with explicit proof terms *}
    1.27    options [document = false, proofs = 2, parallel_proofs = 0]