Mercurial Mercurial > hg > nominal2 / 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.
Nominal/Ex/Ex2.thy
changeset 2120 2786ff1df475
parent 2105 e25b0fff0dd2
child 2177 9b566c5dc1f5
child 2300 9fb315392493
equal deleted inserted replaced
2119:238062c4c9f2 2120:2786ff1df475 
    25 thm trm_pat.perm
 
    25 thm trm_pat.perm
 
    26 thm trm_pat.induct
 
    26 thm trm_pat.induct
 
    27 thm trm_pat.distinct
 
    27 thm trm_pat.distinct
 
    28 thm trm_pat.fv[simplified trm_pat.supp(1-2)]
 
    28 thm trm_pat.fv[simplified trm_pat.supp(1-2)]
 
    29 
    29 
    30 equivariance alpha_trm_raw
 
       
    31 
       
    32 
    30 
    33 end
 
    31 end
 
    34 
    32 
    35 
    33 
    36 
    34
nominal2