Searched refs:ALIAS (Results 1 - 13 of 13) sorted by relevance
/seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/ |
H A D | churn | 7 ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}" 10 cd "$(dirname "$ALIAS")" 12 hg churn --aliases "$ALIAS" "$@"
|
H A D | churn_pie | 7 ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}" 12 cd "$(dirname "$ALIAS")" 14 hg churn --aliases "$ALIAS" | "$SCRIPT" "$@"
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/ |
H A D | churn | 7 ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}" 10 cd "$(dirname "$ALIAS")" 12 hg churn --aliases "$ALIAS" "$@"
|
H A D | churn_pie | 7 ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}" 12 cd "$(dirname "$ALIAS")" 14 hg churn --aliases "$ALIAS" | "$SCRIPT" "$@"
|
/seL4-l4v-10.1.1/HOL4/src/prekernel/ |
H A D | Feedback.sml | 170 datatype TI = TR of trace_record | ALIAS of string 179 | SOME (ALIAS a) => find_record a 209 val mk_alias = Binarymap.insert(record_alias, alias, ALIAS original) 213 | SOME (ALIAS a) => 260 ALIAS _ => acc 297 | reset (ALIAS _) = ()
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | Assem.sml | 30 | ALIAS of alias 138 | eval_exp (ALIAS e) =
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | Assem.sml | 30 | ALIAS of alias 138 | eval_exp (ALIAS e) =
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/ |
H A D | Assem.sml | 30 | ALIAS of alias 138 | eval_exp (ALIAS e) =
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
H A D | PKGS.sml | 1131 ("ADD-MACRO-ALIAS" , "ACL2-USER" , "ACL2"), 1133 ("ADD-NTH-ALIAS" , "ACL2-USER" , "ACL2"), 2395 ("REMOVE-MACRO-ALIAS" , "ACL2-USER" , "ACL2"), 2397 ("REMOVE-NTH-ALIAS" , "ACL2-USER" , "ACL2"), 3044 ("ADD-MACRO-ALIAS" , "U" , "ACL2"), 3046 ("ADD-NTH-ALIAS" , "U" , "ACL2"), 4301 ("REMOVE-MACRO-ALIAS" , "U" , "ACL2"), 4303 ("REMOVE-NTH-ALIAS" , "U" , "ACL2"), 4880 ("ADD-MACRO-ALIAS" , "ACL2-ASG" , "ACL2"), 4882 ("ADD-NTH-ALIAS" , "ACL [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/ |
H A D | PKGS.sml | 1090 ("ADD-MACRO-ALIAS" , "ACL2-USER" , "ACL2"), 1092 ("ADD-NTH-ALIAS" , "ACL2-USER" , "ACL2"), 2354 ("REMOVE-MACRO-ALIAS" , "ACL2-USER" , "ACL2"), 2356 ("REMOVE-NTH-ALIAS" , "ACL2-USER" , "ACL2"), 3003 ("ADD-MACRO-ALIAS" , "U" , "ACL2"), 3005 ("ADD-NTH-ALIAS" , "U" , "ACL2"), 4260 ("REMOVE-MACRO-ALIAS" , "U" , "ACL2"), 4262 ("REMOVE-NTH-ALIAS" , "U" , "ACL2"), 4839 ("ADD-MACRO-ALIAS" , "ACL2-ASG" , "ACL2"), 4841 ("ADD-NTH-ALIAS" , "ACL [all...] |
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | kpa-v2-9-3.ml | 33 ("ADD-MACRO-ALIAS", "ACL2-USER", "ACL2"), 34 ("ADD-NTH-ALIAS", "ACL2-USER", "ACL2"), 569 ("REMOVE-MACRO-ALIAS", "ACL2-USER", "ACL2"), 570 ("REMOVE-NTH-ALIAS", "ACL2-USER", "ACL2"),
|
H A D | acl2_packageScript.sml | 144 ("ADD-MACRO-ALIAS", "ACL2-USER", "ACL2"), 145 ("ADD-NTH-ALIAS", "ACL2-USER", "ACL2"), 680 ("REMOVE-MACRO-ALIAS", "ACL2-USER", "ACL2"), 681 ("REMOVE-NTH-ALIAS", "ACL2-USER", "ACL2"),
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | acl2_packageScript.sml | 144 ("ADD-MACRO-ALIAS", "ACL2-USER", "ACL2"), 145 ("ADD-NTH-ALIAS", "ACL2-USER", "ACL2"), 680 ("REMOVE-MACRO-ALIAS", "ACL2-USER", "ACL2"), 681 ("REMOVE-NTH-ALIAS", "ACL2-USER", "ACL2"),
|
Completed in 273 milliseconds