--- a/src/HOLCF/IOA/Storage/Impl.thy Wed Feb 17 09:22:40 2010 -0800 +++ b/src/HOLCF/IOA/Storage/Impl.thy Wed Feb 17 10:00:22 2010 -0800 @@ -1,5 +1,4 @@ (* Title: HOL/IOA/example/Spec.thy - ID: $Id$ Author: Olaf Müller *)