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;
     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