--- a/src/HOL/IOA/Asig.thy Wed May 12 14:02:50 2010 +0200 +++ b/src/HOL/IOA/Asig.thy Wed May 12 14:17:26 2010 +0200 @@ -1,5 +1,4 @@ (* Title: HOL/IOA/Asig.thy - ID: $Id$ Author: Tobias Nipkow & Konrad Slind Copyright 1994 TU Muenchen *)