src/HOLCF/HOLCF.thy
author aspinall
Wed, 13 Jul 2005 20:07:01 +0200
changeset 16821 ba1f6aba44ed
parent 16054 b8ba6727712f
child 16841 228d663cc9b3
permissions -rw-r--r--
Update PGIP packet handling, fixing unique session identifier.

(*  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