1
session WWW_Find in WWW_Find = Pure +
2
theories [condition = ISABELLE_POLYML] WWW_Find
3
4
session Spec_Check in Spec_Check = Pure +
5
theories
6
Spec_Check
7
theories [condition = ISABELLE_POLYML]
8
Examples
9