author | nipkow |
Wed, 01 Jun 2011 22:42:37 +0200 | |
changeset 43143 | 1aeafba76f21 |
parent 43141 | 11fce8564415 |
child 43150 | 69bc4dafcc53 |
permissions | -rw-r--r-- |
use_thys ["BExp", "ASM", "Small_Step", "Denotation", "Compiler"(*, "Poly_Types", "Sec_Typing", "Sec_TypingT", "Def_Ass_Sound_Big", "Def_Ass_Sound_Small", "Def_Ass2_Sound_Small", "Def_Ass2_Big0", "Live", "Hoare_Examples", "VC", "HoareT", "Procs_Dyn_Vars_Dyn", "Procs_Stat_Vars_Dyn", "Procs_Stat_Vars_Stat", "C_like", "OO" *) ];