Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
libisabelle-protocol/libisabelle/Protocol_Pure.thy
changeset 59469 5c56f14bea53
parent 59340 097347b8910e
equal deleted inserted replaced
59468:288e0d80578d 59469:5c56f14bea53 
       
     1 theory Protocol_Pure
 
       
     2 imports
 
       
     3   Pure
 
       
     4   "operations/Basic"
 
       
     5   "operations/ML_Expr"
 
       
     6 begin
 
       
     7 
       
     8 end
wneuper/isa