Searched refs:Constructor (Results 1 - 3 of 3) sorted by relevance

/hets/HasCASL/doc/
H A DStaticAna.tex194 Constructor ids and selector ids within one alternative must be disjoint
/hets/Isabelle/export/
H A Dexport_helper.ml1053 (("Constructor",[("name",Long_Name.base_name s)]),
H A Dparser.ml1172 in xml "Constructor" attrs elems end) cs

Completed in 111 milliseconds