src/HOLCF/HOLCF.thy
author huffman
Sat, 04 Jun 2005 00:22:08 +0200
changeset 16221 879400e029bf
parent 16054 b8ba6727712f
child 16841 228d663cc9b3
permissions -rw-r--r--
New theory with lemmas for the fixrec package

(*  Title:      HOLCF/HOLCF.thy
    ID:         $Id$
    Author:     Franz Regensburger

Top theory for HOLCF system.
*)

theory HOLCF
imports Sprod Ssum Up Lift Discrete One Tr Domain
begin

end