src/HOLCF/Sprod.thy
changeset 29138 661a8db7e647
parent 29063 7619f0561cd7
child 31076 99fe356cbbc2
     1.1 --- a/src/HOLCF/Sprod.thy	Tue Dec 16 21:18:53 2008 -0800
     1.2 +++ b/src/HOLCF/Sprod.thy	Tue Dec 16 21:31:55 2008 -0800
     1.3 @@ -1,8 +1,5 @@
     1.4  (*  Title:      HOLCF/Sprod.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Franz Regensburger and Brian Huffman
     1.7 -
     1.8 -Strict product with typedef.
     1.9  *)
    1.10  
    1.11  header {* The type of strict products *}