equal
deleted
inserted
replaced
1 no_document use_thys ["~~/src/HOL/ex/Interpretation_with_Defs"]; |
1 no_document use_thys |
|
2 ["~~/src/HOL/ex/Interpretation_with_Defs", |
|
3 "~~/src/HOL/Library/Char_ord", "~~/src/HOL/Library/List_lexord" |
|
4 ]; |
2 |
5 |
3 use_thys |
6 use_thys |
4 ["BExp", |
7 ["BExp", |
5 "ASM", |
8 "ASM", |
6 "Small_Step", |
9 "Small_Step", |
10 "Sec_Typing", |
13 "Sec_Typing", |
11 "Sec_TypingT", |
14 "Sec_TypingT", |
12 "Def_Ass_Sound_Big", |
15 "Def_Ass_Sound_Big", |
13 "Def_Ass_Sound_Small", |
16 "Def_Ass_Sound_Small", |
14 "Live", |
17 "Live", |
15 "AbsInt1_ivl", |
18 "AbsInt2", |
16 "Hoare_Examples", |
19 "Hoare_Examples", |
17 "VC", |
20 "VC", |
18 "HoareT", |
21 "HoareT", |
19 "Procs_Dyn_Vars_Dyn", |
22 "Procs_Dyn_Vars_Dyn", |
20 "Procs_Stat_Vars_Dyn", |
23 "Procs_Stat_Vars_Dyn", |