src/HOL/Imperative_HOL/ROOT.ML
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-09-13 haftmann 2010-09-13 added Imperative HOL overview
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