src/HOLCF/Library/HOLCF_Library.thy
author huffman
Tue Oct 12 06:20:05 2010 -0700 (2010-10-12)
changeset 40006 116e94f9543b
parent 39999 e3948547b541
child 40592 f432973ce0f6
permissions -rw-r--r--
remove unneeded lemmas from Fun_Cpo.thy
huffman@37110
     1
theory HOLCF_Library
huffman@37110
     2
imports
huffman@39999
     3
  Defl_Bifinite
huffman@39143
     4
  List_Cpo
huffman@37110
     5
  Stream
huffman@37110
     6
  Strict_Fun
huffman@37111
     7
  Sum_Cpo
huffman@37110
     8
begin
huffman@37110
     9
huffman@37110
    10
end