--- a/src/HOLCF/IOA/meta_theory/IOA.thy Wed May 21 11:27:32 1997 +0200
+++ b/src/HOLCF/IOA/meta_theory/IOA.thy Wed May 21 15:08:52 1997 +0200
@@ -1,5 +1,5 @@
(* Title: HOLCF/IOA/meta_theory/IOA.thy
- ID:
+ ID: $Id$
Author: Olaf Mueller
Copyright 1996,1997 TU Muenchen