src/Tools/ROOT
author kleing
Sat Apr 26 21:37:09 2014 +1000 (2014-04-26)
changeset 56738 13b0fc4ece42
parent 56276 9e2d5e3debd3
child 58413 22dd971f6938
permissions -rw-r--r--
retired wwwfind
     1 session Spec_Check in Spec_Check = Pure +
     2   theories
     3     Spec_Check
     4   theories [condition = ISABELLE_POLYML]
     5     Examples
     6 
     7 session SML in SML = Pure +
     8   options [condition = ISABELLE_POLYML]
     9   theories
    10     Examples
    11