Searched defs:t2 (Results 76 - 80 of 80) sorted by relevance

1234

/seL4-l4v-master/HOL4/src/1/
H A DDrule.sml2424 and t2 = EQ_MP (SPEC r' th2) as2 value
[all...]
/seL4-l4v-master/HOL4/src/n-bit/
H A DwordsLib.sml2559 val t2 = mk_imp (concl bnds, t1) value
/seL4-l4v-master/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sml346 val t2 = rhs (concl thm) value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml1219 val t2 = value
[all...]
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml726 and t2 = ���t2:bool��� value
750 and t2 = ���t2:bool��� value
769 and t2 = ���t2:bool��� value
792 and t2 = ���t2:bool��� value
808 and t2 = ���t2:bool��� value
824 and t2 = ���t2:bool��� value
1597 val t1 = DISJ1 (ASSUME P) Q and t2 = DISJ2 P (ASSUME Q) value
1619 val t2 = DISJ2 P (ASSUME Q) value
1642 val t1 = DISJ1 (ASSUME P) Q and t2 = DISJ2 P (ASSUME Q) value
1933 let val t1 = ���A:bool��� and t2 = ���B:bool��� value
1955 let val t1 = ���A:bool��� and t2 = ���B:bool��� value
1977 let val t1 = ���A:bool��� and t2 = ���B:bool��� and t3 = ���C:bool��� value
1999 let val t1 = ���A:bool��� and t2 = ���B:bool��� value
2018 let val t1 = ���A:bool��� and t2 = ���B:bool��� value
2073 and t2 = ���B:bool��� value
2090 and t2 = ���B:bool��� value
2107 and t2 = ���B:bool��� value
2126 and t2 = ���B:bool��� value
2263 and t2 = ���t2:bool��� value
2293 and t2 = ���t2:bool��� value
2321 let val t1 = ���t1:bool��� and t2 = ���t2:bool��� value
2361 val t2 = ���t2:'a��� value
2396 val t2 = ���t2:'a��� value
2445 val t2 = ���t2:bool��� value
2450 let val t1 = ���t1:'a��� and t2 = ���t2:'a��� value
2492 val t2 = ���t2:bool��� value
2520 val t2 = ���t2:bool��� value
2525 let val t1 = ���t1:'a��� and t2 = ���t2:'a��� value
2613 val t2 = EXISTS (���?a:'b. r:'a = rep a���, ���^ABS r���) value
[all...]

Completed in 142 milliseconds

1234