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 319 milliseconds