# HG changeset patch
# User mueller
# Date 862394745 -7200
# Node ID 517b1de05735c6c9d9654eb68d360f763563c187
# Parent  2ea678d3523f69083c052be5d54c3ec253015414
fixed Id;

diff -r 2ea678d3523f -r 517b1de05735 src/HOLCF/IOA/meta_theory/CompoTraces.ML
--- a/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Wed Apr 30 11:58:23 1997 +0200
+++ b/src/HOLCF/IOA/meta_theory/CompoTraces.ML	Wed Apr 30 12:05:45 1997 +0200
@@ -1,5 +1,5 @@
 (*  Title:      HOLCF/IOA/meta_theory/CompoTraces.ML
-    ID:        
+    ID:		$Id$
     Author:     Olaf M"uller
     Copyright   1996  TU Muenchen