src/HOL/IMPP/Misc.thy
2016-01-11 wenzelm 2016-01-11 eliminated old defs;
2014-11-10 wenzelm 2014-11-10 proper context for assume_tac (atac remains as fall-back without context);
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-01-16 wenzelm 2011-01-16 tuned headers;
2008-10-07 haftmann 2008-10-07 arbitrary is undefined
2008-06-11 wenzelm 2008-06-11 removed dead code;
2006-06-07 wenzelm 2006-06-07 removed obsolete ML files;
2005-09-17 wenzelm 2005-09-17 converted to Isar theory format;
2000-01-31 oheimb 2000-01-31 added IMPP to HOL