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
     1 (*  Title:      HOLCF/HOLCF.thy
     2     ID:         $Id$
     3     Author:     Franz Regensburger
     4 
     5 Top theory for HOLCF system.
     6 *)
     7 
     8 theory HOLCF
     9 imports Sprod Ssum Up Lift Discrete One Tr
    10 begin
    11 
    12 end