src/Tools/ROOT
author wenzelm
Mon Oct 22 12:22:18 2018 +0200 (8 months ago)
changeset 69179 dff89effe26b
parent 62354 fdd6989cc8a0
child 69222 8365124a86ae
permissions -rw-r--r--
proper chapter;
wenzelm@69179
     1
chapter Tools
wenzelm@69179
     2
wenzelm@53166
     3
session Spec_Check in Spec_Check = Pure +
wenzelm@53166
     4
  theories
wenzelm@53166
     5
    Spec_Check
wenzelm@53166
     6
    Examples
wenzelm@53166
     7
wenzelm@56276
     8
session SML in SML = Pure +
wenzelm@56276
     9
  theories
wenzelm@56276
    10
    Examples