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