Searched defs:POLY (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DSysteml.sig23 val POLY : string value
H A Dunix-systeml.sml96 val POLY = "" value
H A DwinNT-systeml.sml87 val POLY = "" value
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/
H A Dunix-systeml.sml91 val POLY = "" value
H A DwinNT-systeml.sml60 val POLY = "" value
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dconfigure.sml229 "val POLY =" --> ("val POLY = "^quote poly^"\n"), value

Completed in 171 milliseconds