Searched +refs:M1 +refs:ACL2 +refs:COUNT +refs:NTH (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
| H A D | PKGS.sml | 44 ("&ALLOW-OTHER-KEYS" , "ACL2" , "COMMON-LISP"),
45 ("*PRINT-MISER-WIDTH*" , "ACL2" , "COMMON-LISP"),
46 ("&AUX" , "ACL2" , "COMMON-LISP"),
47 ("*PRINT-PPRINT-DISPATCH*" , "ACL2" , "COMMON-LISP"),
48 ("&BODY" , "ACL2" , "COMMON-LISP"),
49 ("*PRINT-PRETTY*" , "ACL2" , "COMMON-LISP"),
50 ("&ENVIRONMENT" , "ACL2" , "COMMON-LISP"),
51 ("*PRINT-RADIX*" , "ACL2" , "COMMON-LISP"),
52 ("&KEY" , "ACL2" , "COMMON-LISP"),
53 ("*PRINT-READABLY*" , "ACL2" , "COMMO
[all...] |
| H A D | m1_story.sml | 8 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "NEXT-INST") (
9 mkpair (mkpair (mksym "M1" "S") (mksym "COMMON-LISP" "NIL")) (mkpair (mkpair (
10 mksym "M1" "NTH") (mkpair (mkpair (mksym "M1" "PC") (mkpair (mksym "M1" "S") (
11 mksym "COMMON-LISP" "NIL"))) (mkpair (mkpair (mksym "M1" "PROGRAM") (mkpair (
12 mksym "M1" "S") (mksym "COMMON-LISP" "NIL"))) (mksym "COMMON-LISP" "NIL")))) (
16 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "EXECUTE-ICONST") (
17 mkpair (mkpair (mksym "M1" "INS
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
| H A D | PKGS.sml | 3 ("&ALLOW-OTHER-KEYS" , "ACL2" , "COMMON-LISP"),
4 ("*PRINT-MISER-WIDTH*" , "ACL2" , "COMMON-LISP"),
5 ("&AUX" , "ACL2" , "COMMON-LISP"),
6 ("*PRINT-PPRINT-DISPATCH*" , "ACL2" , "COMMON-LISP"),
7 ("&BODY" , "ACL2" , "COMMON-LISP"),
8 ("*PRINT-PRETTY*" , "ACL2" , "COMMON-LISP"),
9 ("&ENVIRONMENT" , "ACL2" , "COMMON-LISP"),
10 ("*PRINT-RADIX*" , "ACL2" , "COMMON-LISP"),
11 ("&KEY" , "ACL2" , "COMMON-LISP"),
12 ("*PRINT-READABLY*" , "ACL2" , "COMMO
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/ |
| H A D | m1_story.sml | 8 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "NEXT-INST") (
9 mkpair (mkpair (mksym "M1" "S") (mksym "COMMON-LISP" "NIL")) (mkpair (mkpair (
10 mksym "M1" "NTH") (mkpair (mkpair (mksym "M1" "PC") (mkpair (mksym "M1" "S") (
11 mksym "COMMON-LISP" "NIL"))) (mkpair (mkpair (mksym "M1" "PROGRAM") (mkpair (
12 mksym "M1" "S") (mksym "COMMON-LISP" "NIL"))) (mksym "COMMON-LISP" "NIL")))) (
16 (mkpair (mksym "COMMON-LISP" "DEFUN") (mkpair (mksym "M1" "EXECUTE-ICONST") (
17 mkpair (mkpair (mksym "M1" "INS
[all...] |
Completed in 102 milliseconds