--- a/src/HOLCF/IOA/meta_theory/IOA.ML Thu Jan 08 18:06:21 1998 +0100
+++ b/src/HOLCF/IOA/meta_theory/IOA.ML Thu Jan 08 18:07:06 1998 +0100
@@ -4,4 +4,5 @@
Copyright 1996,1997 TU Muenchen
The theory of I/O automata in HOLCF.
-*)
\ No newline at end of file
+*)
+