re-added mem and list_all
improved indentation
improved addbefore and addSbefore
improved mechanism for unsafe wrappers
(* Title: HOLCF/HOLCF.thy
ID: $Id$
Author: Franz Regensburger
Copyright 1993 Technische Universitaet Muenchen
Top theory for HOLCF system
*)
HOLCF = Tr2