Searched defs:doc (Results 1 - 3 of 3) sorted by path

/seL4-l4v-master/HOL4/Manual/Guide/
H A Dguide.tex[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C192 static const char* doc = variable
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp458 static const char* doc = local
480 cout << doc; local

Completed in 64 milliseconds