src/HOLCF/IOA/meta_theory/Abstraction.ML

--- a/src/HOLCF/IOA/meta_theory/Abstraction.ML	Fri Sep 02 15:54:47 2005 +0200
+++ b/src/HOLCF/IOA/meta_theory/Abstraction.ML	Fri Sep 02 17:23:59 2005 +0200
@@ -1,8 +1,6 @@
 (*  Title:      HOLCF/IOA/meta_theory/Abstraction.thy
     ID:         $Id$
     Author:     Olaf Müller
-
-Abstraction Theory -- tailored for I/O automata.
 *)   
 
 section "cex_abs";