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

(* $Id$ *)

theory HOL_Specific
imports HOL
begin

end