doc-src/IsarRef/Thy/HOLCF_Specific.thy
author wenzelm
Wed, 07 May 2008 12:38:55 +0200
changeset 26840 ec46381f149d
child 26841 6ac51a2f48e1
permissions -rw-r--r--
added logic-specific sessions;

(* $Id$ *)

theory HOLCF_Specific
imports HOLCF
begin

end