--- a/src/HOLCF/Cprod.thy Tue Dec 16 21:18:53 2008 -0800
+++ b/src/HOLCF/Cprod.thy Tue Dec 16 21:31:55 2008 -0800
@@ -1,8 +1,5 @@
(* Title: HOLCF/Cprod.thy
- ID: $Id$
Author: Franz Regensburger
-
-Partial ordering for cartesian product of HOL products.
*)
header {* The cpo of cartesian products *}