src/Tools/ROOT
author wenzelm
Fri Aug 15 18:02:34 2014 +0200 (2014-08-15)
changeset 57944 fff8d328da56
parent 56738 13b0fc4ece42
child 58413 22dd971f6938
permissions -rw-r--r--
more informative Token.Name with history of morphisms;
tuned signature;
wenzelm@53166
     1
session Spec_Check in Spec_Check = Pure +
wenzelm@53166
     2
  theories
wenzelm@53166
     3
    Spec_Check
wenzelm@53166
     4
  theories [condition = ISABELLE_POLYML]
wenzelm@53166
     5
    Examples
wenzelm@53166
     6
wenzelm@56276
     7
session SML in SML = Pure +
wenzelm@56276
     8
  options [condition = ISABELLE_POLYML]
wenzelm@56276
     9
  theories
wenzelm@56276
    10
    Examples
wenzelm@56276
    11