wenzelm@53166: session WWW_Find in WWW_Find = Pure +
wenzelm@53166:   theories [condition = ISABELLE_POLYML] WWW_Find
wenzelm@53166: 
wenzelm@53166: session Spec_Check in Spec_Check = Pure +
wenzelm@53166:   theories
wenzelm@53166:     Spec_Check
wenzelm@53166:   theories [condition = ISABELLE_POLYML]
wenzelm@53166:     Examples
wenzelm@53166: 
wenzelm@56276: session SML in SML = Pure +
wenzelm@56276:   options [condition = ISABELLE_POLYML]
wenzelm@56276:   theories
wenzelm@56276:     Examples
wenzelm@56276: