Mercurial Mercurial > hg > tm / 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.
thys/Rec_Def.thy
changeset 292 293e9c6f22e1
parent 288 a9003e6d0463
equal deleted inserted replaced
291:93db7414931d 292:293e9c6f22e1 
       
     1 (* Title: thys/Rec_Def.thy
 
       
     2    Author: Jian Xu, Xingyuan Zhang, and Christian Urban
 
       
     3    Modifications: Sebastiaan Joosten
 
       
     4 *)
 
       
     5 
     1 theory Rec_Def
 
     6 theory Rec_Def
 
     2 imports Main
 
     7 imports Main
 
     3 begin
 
     8 begin
 
     4 
     9 
     5 datatype recf =  z
 
    10 datatype recf =  z
tm