Searched defs:ISABELLE_TOOL (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/l4v/misc/
H A Disa-common.mk25 export ISABELLE_TOOL=${ISABELLE_HOME}/bin/isabelle macro
/seL4-l4v-master/l4v/spec/cspec/c/
H A Dkernel.mk63 export ISABELLE_TOOL:=${ISABELLE_HOME}/bin/isabelle macro

Completed in 32 milliseconds