src/HOL/Imperative_HOL/ROOT.ML
2009-03-23 ago moved Imperative_HOL examples to Imperative_HOL/ex
2009-01-08 ago split of Imperative_HOL theories from HOL-Library