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