src/HOL/Imperative_HOL/ROOT.ML
author haftmann
Thu, 08 Jan 2009 17:10:41 +0100
changeset 29399 ebcd69a00872
child 30689 b14b2cc4e25e
permissions -rw-r--r--
split of Imperative_HOL theories from HOL-Library


use_thy "Imperative_HOL";