Searched defs:dir2 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/AI_tasks/
H A DmleDiophSynt.sml354 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform"; value
360 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance"; value
366 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn"; value
377 val dir2 value
383 val dir2 = dir1 ^ "/" ^ dataset ^ "_distance"; value
389 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn"; value
[all...]
H A DmleCombinSynt.sml402 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform"; value
408 val dir2 = dir1 ^ "/" ^ dataset ^ "_tnn"; value
419 val dir2 = dir1 ^ "/" ^ dataset ^ "_uniform"; value
425 val dir2 value
[all...]
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml3600 val dir2 = DISCH_ALL (CONJ p_thm (DISCH p q_thm)) value

Completed in 106 milliseconds