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/FOL/FOL.thy
changeset 11096 bedfd42db838
parent 10430 d3f780c3af0c
child 11678 6aa3e2d26683
equal deleted inserted replaced
11095:2ffaf1e1e101 11096:bedfd42db838 
    86 lemmas trans_rules [trans] =
 
    86 lemmas trans_rules [trans] =
 
    87   forw_subst
 
    87   forw_subst
 
    88   back_subst
 
    88   back_subst
 
    89   rev_mp
 
    89   rev_mp
 
    90   mp
 
    90   mp
 
       
    91   transitive
 
    91   trans
 
    92   trans
 
    92   transitive
 
       
    93 
    93 
    94 lemmas [elim?] = sym
 
    94 lemmas [elim?] = sym
 
    95 
    95 
    96 end
 
    96 end
isabelle