src/HOL/Imperative_HOL/Imperative_HOL.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2013-08-20 krauss 2013-08-20 renamed theory Mrec to Legacy_Mrec, no longer included by default
2010-07-12 haftmann 2010-07-12 dropped empty theory
2010-07-12 haftmann 2010-07-12 split off mrec into separate theory
2009-02-06 haftmann 2009-02-06 authentic syntax for List.nth
2009-01-08 haftmann 2009-01-08 split of Imperative_HOL theories from HOL-Library