doc-src/IsarRef/Thy/HOL_Specific.thy
author wenzelm
Wed May 07 12:38:55 2008 +0200 (2008-05-07)
changeset 26840 ec46381f149d
child 26849 df50bc1249d7
permissions -rw-r--r--
added logic-specific sessions;
wenzelm@26840
     1
(* $Id$ *)
wenzelm@26840
     2
wenzelm@26840
     3
theory HOL_Specific
wenzelm@26840
     4
imports HOL
wenzelm@26840
     5
begin
wenzelm@26840
     6
wenzelm@26840
     7
end