Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 (*
isabelle