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/Tr1.thy
changeset 1274 ea0668a1c0ba
parent 1168 74be52691d62
child 1479 21eb5e156d91
equal deleted inserted replaced
1273:6960ec882bca 1274:ea0668a1c0ba 
    39   TT_def	"TT == abs_tr`(sinl`one)"
 
    39   TT_def	"TT == abs_tr`(sinl`one)"
 
    40   FF_def	"FF == abs_tr`(sinr`one)"
 
    40   FF_def	"FF == abs_tr`(sinr`one)"
 
    41 
    41 
    42   tr_when_def "tr_when == 
    42   tr_when_def "tr_when == 
    43 	(LAM e1 e2 t. sswhen`(LAM x.e1)`(LAM y.e2)`(rep_tr`t))"
 
    43 	(LAM e1 e2 t. sswhen`(LAM x.e1)`(LAM y.e2)`(rep_tr`t))"
 
       
    44 
       
    45 (* start 8bit 1 *)
 
       
    46 (* end 8bit 1 *)
 
       
    47 
       
    48 
    44 end
 
    49 end
isabelle