src/HOLCF/IOA/meta_theory/LiveIOA.ML
changeset 6023 832b9269dedd
parent 5976 44290b71a85f
child 6161 bc2a76ce1ea3
equal deleted inserted replaced
6022:259e4f2114e1 6023:832b9269dedd
    51   by (asm_full_simp_tac (simpset() addsimps [reachable.reachable_0]) 1);
    51   by (asm_full_simp_tac (simpset() addsimps [reachable.reachable_0]) 1);
    52 
    52 
    53  (* Liveness *)
    53  (* Liveness *)
    54 by Auto_tac;
    54 by Auto_tac;
    55 qed"live_implements";
    55 qed"live_implements";
    56 
       
    57 
       
    58 (*