src/HOL/Imperative_HOL/ex/List_Sublist.thy
2016-01-05 wenzelm 2016-01-05 updated headers;
2015-11-19 Lars Hupel 2015-11-19 misc. changes to Imperative-HOL from Peter Gammie