Searched +refs:LABEL +refs:OF (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | ltl-project.ml | 128 mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mksym "ACL2" "P") (mkpair (mksym 132 "ACL2" "SET-INTERSECT") (mkpair (mkpair (mksym "ACL2" "LABEL-OF") (mkpair ( 149 mksym "ACL2" "A") (mkpair (mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mksym 152 mksym "ACL2" "A") (mkpair (mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mksym
|
H A D | circuit-bisim.ml | 230 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "TRUTHP-LABEL") ( 231 mkpair (mkpair (mksym "ACL2" "LABEL") (mkpair (mksym "ACL2" "S") (mksym 233 mkpair (mksym "COMMON-LISP" "ENDP") (mkpair (mksym "ACL2" "LABEL") (mksym 238 mksym "ACL2" "LABEL") (mksym "COMMON-LISP" "NIL"))) (mkpair (mksym "ACL2" "S") ( 241 "COMMON-LISP" "NIL")))) (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpair ( 242 mkpair (mksym "COMMON-LISP" "CDR") (mkpair (mksym "ACL2" "LABEL") (mksym 255 "COMMON-LISP" "IF") (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpair ( 256 mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mkpair (mksym "COMMON-LISP" "CAR") ( 270 "ALL-TRUTHSP-LABEL") (mkpai [all...] |
H A D | circuits.ml | 209 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "LABEL-FN-OF-ST") ( 223 "LABEL-FN-OF-ST") (mkpair (mksym "ACL2" "ST") (mkpair (mkpair (mksym 226 mksym "ACL2" "LABEL-FN-OF-ST") (mkpair (mksym "ACL2" "ST") (mkpair (mkpair ( 232 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "CREATE-LABEL-FN") ( 234 mksym "ACL2" "LABEL") (mksym "COMMON-LISP" "NIL")))) (mkpair (mkpair (mksym 237 "LABEL") (mkpair (mkpair (mksym "ACL2" "CREATE-LABEL [all...] |
H A D | summary.ml | 280 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "LABEL-OF") ( 284 "COMMON-LISP" "QUOTE") (mkpair (mksym "KEYWORD" "LABEL-FN") (mksym 484 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "TRUTHP-LABEL") ( 485 mkpair (mkpair (mksym "ACL2" "LABEL") (mkpair (mksym "ACL2" "S") (mksym 487 mkpair (mksym "COMMON-LISP" "ENDP") (mkpair (mksym "ACL2" "LABEL") (mksym 492 mksym "ACL2" "LABEL") (mksym "COMMON-LISP" "NIL"))) (mkpair (mksym "ACL2" "S") ( 495 "COMMON-LISP" "NIL")))) (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpair ( 496 mkpair (mksym "COMMON-LISP" "CDR") (mkpair (mksym "ACL2" "LABEL") (mksym 509 "COMMON-LISP" "IF") (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpai [all...] |
H A D | ltl.ml | 227 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "LABEL-OF") ( 231 "COMMON-LISP" "QUOTE") (mkpair (mksym "KEYWORD" "LABEL-FN") (mksym
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/ |
H A D | ltl_project.sml | 124 mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mksym "ACL2" "P") (mkpair (mksym 128 "ACL2" "SET-INTERSECT") (mkpair (mkpair (mksym "ACL2" "LABEL-OF") (mkpair ( 145 mksym "ACL2" "A") (mkpair (mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mksym 148 mksym "ACL2" "A") (mkpair (mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mksym
|
H A D | circuit_bisim.sml | 227 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "TRUTHP-LABEL") ( 228 mkpair (mkpair (mksym "ACL2" "LABEL") (mkpair (mksym "ACL2" "S") (mksym 230 mkpair (mksym "COMMON-LISP" "ENDP") (mkpair (mksym "ACL2" "LABEL") (mksym 235 mksym "ACL2" "LABEL") (mksym "COMMON-LISP" "NIL"))) (mkpair (mksym "ACL2" "S") ( 238 "COMMON-LISP" "NIL")))) (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpair ( 239 mkpair (mksym "COMMON-LISP" "CDR") (mkpair (mksym "ACL2" "LABEL") (mksym 252 "COMMON-LISP" "IF") (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpair ( 253 mkpair (mksym "ACL2" "LABEL-OF") (mkpair (mkpair (mksym "COMMON-LISP" "CAR") ( 267 "ALL-TRUTHSP-LABEL") (mkpai [all...] |
H A D | circuits.sml | 204 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "LABEL-FN-OF-ST") ( 218 "LABEL-FN-OF-ST") (mkpair (mksym "ACL2" "ST") (mkpair (mkpair (mksym 221 mksym "ACL2" "LABEL-FN-OF-ST") (mkpair (mksym "ACL2" "ST") (mkpair (mkpair ( 227 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "CREATE-LABEL-FN") ( 229 mksym "ACL2" "LABEL") (mksym "COMMON-LISP" "NIL")))) (mkpair (mkpair (mksym 232 "LABEL") (mkpair (mkpair (mksym "ACL2" "CREATE-LABEL [all...] |
H A D | summary.sml | 276 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "LABEL-OF") ( 280 "COMMON-LISP" "QUOTE") (mkpair (mksym "KEYWORD" "LABEL-FN") (mksym 480 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "TRUTHP-LABEL") ( 481 mkpair (mkpair (mksym "ACL2" "LABEL") (mkpair (mksym "ACL2" "S") (mksym 483 mkpair (mksym "COMMON-LISP" "ENDP") (mkpair (mksym "ACL2" "LABEL") (mksym 488 mksym "ACL2" "LABEL") (mksym "COMMON-LISP" "NIL"))) (mkpair (mksym "ACL2" "S") ( 491 "COMMON-LISP" "NIL")))) (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpair ( 492 mkpair (mksym "COMMON-LISP" "CDR") (mkpair (mksym "ACL2" "LABEL") (mksym 505 "COMMON-LISP" "IF") (mkpair (mkpair (mksym "ACL2" "TRUTHP-LABEL") (mkpai [all...] |
H A D | ltl.sml | 224 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "ACL2" "LABEL-OF") ( 228 "COMMON-LISP" "QUOTE") (mkpair (mksym "KEYWORD" "LABEL-FN") (mksym
|
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
H A D | yacc-grm.sml | 327 | MPC_DECL of unit -> (Hdr.declData) | LABEL of unit -> (string) 367 | (T 22) => "OF" 797 | (47,(_,(MlyValue.TY TY1,_,TY1right))::_::(_,(MlyValue.LABEL LABEL1,_ 801 val LABEL as LABEL1=LABEL1 () value 803 in (RECORD_LIST^","^LABEL^":"^TY) end 806 | (48,(_,(MlyValue.TY TY1,_,TY1right))::_::(_,(MlyValue.LABEL LABEL1, 808 => let val LABEL as LABEL1=LABEL1 () value 810 in (LABEL^":"^TY) end 826 result=MlyValue.LABEL(fn _ => let val ID as ID1=ID1 () 831 result=MlyValue.LABEL(f 899 fun OF (p1,p2) = Token.TOKEN (ParserData.LrTable.T 22,( function [all...] |
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/src/ |
H A D | yacc-grm.sml | 330 | MPC_DECL of unit -> (Hdr.declData) | LABEL of unit -> (string) 370 | (T 22) => "OF" 800 | (47,(_,(MlyValue.TY TY1,_,TY1right))::_::(_,(MlyValue.LABEL LABEL1,_ 804 val LABEL as LABEL1=LABEL1 () value 806 in (RECORD_LIST^","^LABEL^":"^TY) end 809 | (48,(_,(MlyValue.TY TY1,_,TY1right))::_::(_,(MlyValue.LABEL LABEL1, 811 => let val LABEL as LABEL1=LABEL1 () value 813 in (LABEL^":"^TY) end 829 result=MlyValue.LABEL(fn _ => let val ID as ID1=ID1 () 834 result=MlyValue.LABEL(f 902 fun OF (p1,p2) = Token.TOKEN (ParserData.LrTable.T 22,( function [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | texinfo.tex | 4145 % @set VAR REST-OF-LINE sets VAR to the value REST-OF-LINE. 4147 % Since we want to separate VAR from REST-OF-LINE (which might be 7968 % LABEL-title being set to a magic string. 8498 % @float FLOATTYPE,LABEL,LOC ... @end float for displayed figures, tables, 8743 % xref label, in the form LABEL-title, which is how we save it in the
|
Completed in 81 milliseconds