src/HOLCF/HOLCF.thy
author huffman
Sat Apr 02 00:12:38 2005 +0200 (2005-04-02)
changeset 15650 b37dc98fbbc5
parent 15576 efb95d0d01f7
child 15651 4b393520846e
permissions -rw-r--r--
converted to new-style theory
clasohm@1479
     1
(*  Title:      HOLCF/HOLCF.thy
nipkow@243
     2
    ID:         $Id$
clasohm@1479
     3
    Author:     Franz Regensburger
nipkow@243
     4
wenzelm@12030
     5
Top theory for HOLCF system.
nipkow@243
     6
*)
nipkow@243
     7
huffman@15650
     8
theory HOLCF
huffman@15650
     9
imports Sprod Ssum Up Lift Discrete One Tr
huffman@15650
    10
begin
huffman@15650
    11
huffman@15650
    12
end