src/Tools/ROOT
author haftmann
Thu, 31 Jul 2025 19:13:00 +0200
changeset 82910 aa3b2d384736
parent 78315 addecc8de2c4
permissions -rw-r--r--
bring some code equations into natural order

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