Searched refs:FRESH (Results 1 - 11 of 11) sorted by relevance
/seL4-l4v-10.1.1/isabelle/src/Pure/ |
H A D | build-jars | 221 FRESH="" 227 FRESH=true 250 if [ -n "$FRESH" ]; then
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ |
H A D | build-jars | 221 FRESH="" 227 FRESH=true 250 if [ -n "$FRESH" ]; then
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | hol_defaxioms_proofsScript.sml | 2314 csym "FOURTH"; csym "IDENTITY"; csym "FRESH-LINE"; 2911 csym "FOURTH"; csym "IDENTITY"; csym "FRESH-LINE";
|
H A D | kpa-v2-9-3.ml | 1187 ("FRESH-LINE", "ACL2-USER", "COMMON-LISP"), 2165 ("FRESH-LINE", "ACL2", "COMMON-LISP"),
|
H A D | acl2_packageScript.sml | 1298 ("FRESH-LINE", "ACL2-USER", "COMMON-LISP"), 2276 ("FRESH-LINE", "ACL2", "COMMON-LISP"),
|
H A D | defaxioms.lisp.trans.ml | 10701 "COMMON-LISP" "FRESH-LINE") (mkpair (mksym "COMMON-LISP" "IF") (mkpair (mksym
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | acl2_packageScript.sml | 1298 ("FRESH-LINE", "ACL2-USER", "COMMON-LISP"), 2276 ("FRESH-LINE", "ACL2", "COMMON-LISP"),
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
H A D | PKGS.sml | 466 ("FRESH-LINE" , "ACL2" , "COMMON-LISP"), 1728 ("FRESH-LINE" , "ACL2-USER" , "COMMON-LISP"), 3640 ("FRESH-LINE" , "U" , "COMMON-LISP"), 5477 ("FRESH-LINE" , "ACL2-ASG" , "COMMON-LISP"), 7326 ("FRESH-LINE" , "ACL2-AGP" , "COMMON-LISP"), 9175 ("FRESH-LINE" , "ACL2-CRG" , "COMMON-LISP"),
|
H A D | axioms.ml | 3213 "COMMON-LISP" "FRESH-LINE") (mkpair (mksym "COMMON-LISP" "IF") (mkpair (mksym [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
H A D | PKGS.sml | 425 ("FRESH-LINE" , "ACL2" , "COMMON-LISP"), 1687 ("FRESH-LINE" , "ACL2-USER" , "COMMON-LISP"), 3599 ("FRESH-LINE" , "U" , "COMMON-LISP"), 5436 ("FRESH-LINE" , "ACL2-ASG" , "COMMON-LISP"), 7285 ("FRESH-LINE" , "ACL2-AGP" , "COMMON-LISP"), 9134 ("FRESH-LINE" , "ACL2-CRG" , "COMMON-LISP"),
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/ |
H A D | axioms.sml | 3213 "COMMON-LISP" "FRESH-LINE") (mkpair (mksym "COMMON-LISP" "IF") (mkpair (mksym [all...] |
Completed in 377 milliseconds