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