src/HOL/Imperative_HOL/Imperative_HOL.thy
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