tuned signature -- more uniform check_type_name/read_type_name;
proper reports for read_type_name (lost in 710bc66f432c);
session WWW_Find in WWW_Find = Pure +
theories [condition = ISABELLE_POLYML] WWW_Find
session Spec_Check in Spec_Check = Pure +
theories
Spec_Check
theories [condition = ISABELLE_POLYML]
Examples