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