src/Tools/ROOT
author haftmann
Thu, 24 Jul 2025 17:46:29 +0200
changeset 82902 99a720d3ed8f
parent 78315 addecc8de2c4
permissions -rw-r--r--
clarified code setup

chapter Misc

session Tools = Pure +
  theories
    Code_Generator
    Profiling

session SML in SML = Pure +
  theories
    Examples

session Haskell in Haskell = HOL +
  theories
    Haskell
  theories [condition = ISABELLE_GHC_STACK]
    Test