src/Tools/ROOT
author wenzelm
Sun Nov 09 17:04:14 2014 +0100 (2014-11-09)
changeset 58957 c9e744ea8a38
parent 58413 22dd971f6938
child 62354 fdd6989cc8a0
permissions -rw-r--r--
proper context for match_tac etc.;
     1 session Spec_Check in Spec_Check = Pure +
     2   theories
     3     Spec_Check
     4   theories [condition = ML_SYSTEM_POLYML]
     5     Examples
     6 
     7 session SML in SML = Pure +
     8   options [condition = ML_SYSTEM_POLYML]
     9   theories
    10     Examples
    11