wenzelm@69179: chapter Tools
wenzelm@69179: 
wenzelm@53166: session Spec_Check in Spec_Check = Pure +
wenzelm@53166:   theories
wenzelm@53166:     Spec_Check
wenzelm@53166:     Examples
wenzelm@53166: 
wenzelm@56276: session SML in SML = Pure +
wenzelm@56276:   theories
wenzelm@56276:     Examples
wenzelm@69222: 
wenzelm@69222: session Haskell in Haskell = Pure +
wenzelm@69222:   theories
wenzelm@69222:     Haskell
wenzelm@69225:   theories [condition = ISABELLE_GHC]
wenzelm@69241:     Test