src/Tools/ROOT
author wenzelm
Thu Nov 01 13:53:29 2018 +0100 (7 months ago)
changeset 69222 8365124a86ae
parent 69179 dff89effe26b
child 69225 bf2fecda8383
permissions -rw-r--r--
support for Isabelle tool development in Haskell;
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
wenzelm@69222
    11
wenzelm@69222
    12
session Haskell in Haskell = Pure +
wenzelm@69222
    13
  theories
wenzelm@69222
    14
    Haskell