Mercurialisabelle / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | revisions | annotate | diff | raw
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
isabelle