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

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DRegion.java15 class Region { class
19 public Region(Graph g) { gra=g; } method in class:Region
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java15 class Region { class
19 public Region(Graph g) { gra=g; } method in class:Region
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DRegion.sig8 signature Region = signature
H A DRegion.sml9 structure Region :> Region = structure
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DRegion.sml19 structure Region: structure

Completed in 47 milliseconds