src/Tools/ROOT
author wenzelm
Mon Mar 25 17:21:26 2019 +0100 (7 weeks ago)
changeset 69981 3dced198b9ec
parent 69444 c3c9440cbf9b
permissions -rw-r--r--
more strict AFP properties;
wenzelm@69179
     1
chapter Tools
wenzelm@69179
     2
wenzelm@53166
     3
session Spec_Check in Spec_Check = Pure +
wenzelm@53166
     4
  theories
wenzelm@53166
     5
    Spec_Check
wenzelm@53166
     6
    Examples
wenzelm@53166
     7
wenzelm@56276
     8
session SML in SML = Pure +
wenzelm@56276
     9
  theories
wenzelm@56276
    10
    Examples
wenzelm@69222
    11
wenzelm@69222
    12
session Haskell in Haskell = Pure +
wenzelm@69222
    13
  theories
wenzelm@69222
    14
    Haskell
wenzelm@69444
    15
  theories [condition = ISABELLE_GHC_STACK]
wenzelm@69241
    16
    Test