--- 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