src/HOL/Imperative_HOL/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2009-03-23 haftmann 2009-03-23 moved Imperative_HOL examples to Imperative_HOL/ex
2009-01-08 haftmann 2009-01-08 split of Imperative_HOL theories from HOL-Library