src/Tools/ROOT
author haftmann
Sun Sep 21 16:56:11 2014 +0200 (2014-09-21)
changeset 58410 6d46ad54a2ab
parent 56738 13b0fc4ece42
child 58413 22dd971f6938
permissions -rw-r--r--
explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
     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