doc-src/IsarRef/Thy/HOL_Specific.thy
2008-05-07 wenzelm 2008-05-07 added logic-specific sessions;