Searched defs:database (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/help/src-sml/
H A DDatabase.sig23 type database = entry list table type
H A DMyDatabase-sig.sml26 type database = entry list table type
H A DMyDatabase.sml26 type database = entry list table type
H A DDatabase.sml165 type database = entry list table type
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp4320 XColor database; local
4339 XColor database; local

Completed in 51 milliseconds