src/Tools/ROOT
author wenzelm
Tue Mar 25 14:52:35 2014 +0100 (2014-03-25)
changeset 56276 9e2d5e3debd3
parent 53166 1266b6208a5b
child 56738 13b0fc4ece42
permissions -rw-r--r--
some SML examples;
wenzelm@53166
     1
session WWW_Find in WWW_Find = Pure +
wenzelm@53166
     2
  theories [condition = ISABELLE_POLYML] WWW_Find
wenzelm@53166
     3
wenzelm@53166
     4
session Spec_Check in Spec_Check = Pure +
wenzelm@53166
     5
  theories
wenzelm@53166
     6
    Spec_Check
wenzelm@53166
     7
  theories [condition = ISABELLE_POLYML]
wenzelm@53166
     8
    Examples
wenzelm@53166
     9
wenzelm@56276
    10
session SML in SML = Pure +
wenzelm@56276
    11
  options [condition = ISABELLE_POLYML]
wenzelm@56276
    12
  theories
wenzelm@56276
    13
    Examples
wenzelm@56276
    14