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;
     1 (* $Id$ *)
     2 
     3 theory HOL_Specific
     4 imports HOL
     5 begin
     6 
     7 end