Cross Reference: /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/NormalVertex.java

Cross Reference: NormalVertex.java

xref: /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/NormalVertex.java