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/HOL/Nominal/Examples/Nominal_Examples.thy
changeset 36277 9be4ab2acc13
parent 33189 82a40677c1f8
child 37358 74fb4f03bb51
equal deleted inserted replaced
36276:92011cc923f5 36277:9be4ab2acc13 
     4 
     4 
     5 theory Nominal_Examples
 
     5 theory Nominal_Examples
 
     6 imports
 
     6 imports
 
     7   CR
 
     7   CR
 
     8   CR_Takahashi
 
     8   CR_Takahashi
 
     9   Class
 
     9   Class3
 
    10   Compile
 
    10   Compile
 
    11   Fsub
 
    11   Fsub
 
    12   Height
 
    12   Height
 
    13   Lambda_mu
 
    13   Lambda_mu
 
    14   SN
 
    14   SN
isabelle