src/Tools/ROOT
author wenzelm
Fri Aug 23 15:04:00 2013 +0200 (2013-08-23)
changeset 53166 1266b6208a5b
child 56276 9e2d5e3debd3
permissions -rw-r--r--
missing ROOT (cf. beb4ee344c22);
wenzelm@53166
     1
session WWW_Find in WWW_Find = Pure +
wenzelm@53166
     2
  theories [condition = ISABELLE_POLYML] WWW_Find
wenzelm@53166
     3
wenzelm@53166
     4
session Spec_Check in Spec_Check = Pure +
wenzelm@53166
     5
  theories
wenzelm@53166
     6
    Spec_Check
wenzelm@53166
     7
  theories [condition = ISABELLE_POLYML]
wenzelm@53166
     8
    Examples
wenzelm@53166
     9