doc-src/IsarRef/Thy/HOL_Specific.thy
2008-05-24 wenzelm 2008-05-24 function: uniform treatment of target, not as config;
2008-05-14 wenzelm 2008-05-14 proper checking of various Isar elements;
2008-05-08 wenzelm 2008-05-08 replaced some latex macros by antiquotations;
2008-05-08 wenzelm 2008-05-08 misc tuning;
2008-05-08 wenzelm 2008-05-08 converted HOL specific elements;
2008-05-07 wenzelm 2008-05-07 added logic-specific sessions;