src/HOLCF/FOCUS/Buffer.thy
changeset 17646 c5a4fe81857e
parent 17293 ecf182ccc3ca
child 19759 2d0896653e7a
equal deleted inserted replaced
17645:940371ea0ff3 17646:c5a4fe81857e
    14     series = {ASI Series, Series F: Computer and System Sciences},
    14     series = {ASI Series, Series F: Computer and System Sciences},
    15     pages = {273 -- 304},
    15     pages = {273 -- 304},
    16     publisher = {Springer}
    16     publisher = {Springer}
    17 }
    17 }
    18 
    18 
    19 Slides available from http://isabelle.in.tum.de/HOLCF/1-Buffer.ps.gz
    19 Slides available from http://ddvo.net/talks/1-Buffer.ps.gz
    20 
    20 
    21 *)
    21 *)
    22 
    22 
    23 theory Buffer
    23 theory Buffer
    24 imports FOCUS
    24 imports FOCUS