src/HOLCF/IOA/meta_theory/CompoScheds.thy
changeset 3275 3f53f2c876f4
parent 3071 981258186b71
child 3521 bdc51b4c6050
     1.1 --- a/src/HOLCF/IOA/meta_theory/CompoScheds.thy	Wed May 21 11:27:32 1997 +0200
     1.2 +++ b/src/HOLCF/IOA/meta_theory/CompoScheds.thy	Wed May 21 15:08:52 1997 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  (*  Title:      HOLCF/IOA/meta_theory/CompoScheds.thy
     1.5 -    ID:        
     1.6 +    ID:         $Id$
     1.7      Author:     Olaf M"uller
     1.8      Copyright   1996  TU Muenchen
     1.9