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/HOLCF/Lift1.thy
changeset 5192 704dd3a6d47d
parent 3327 9b8e638f8602
equal deleted inserted replaced
5191:8ceaa19f7717 5192:704dd3a6d47d 
     4     Copyright   1996 Technische Universitaet Muenchen
 
     4     Copyright   1996 Technische Universitaet Muenchen
 
     5 
     5 
     6 Lifting types of class term to flat pcpo's
 
     6 Lifting types of class term to flat pcpo's
 
     7 *)
 
     7 *)
 
     8 
     8 
     9 Lift1 = Cprod3 + 
     9 Lift1 = Cprod3 + Datatype +
 
    10 
    10 
    11 default term
 
    11 default term
 
    12 
    12 
    13 datatype 'a lift = Undef | Def 'a
 
    13 datatype 'a lift = Undef | Def 'a
 
    14 
    14
isabelle