--- a/src/HOL/UNITY/Comp.thy Sat Dec 01 18:51:46 2001 +0100
+++ b/src/HOL/UNITY/Comp.thy Sat Dec 01 18:52:32 2001 +0100
@@ -16,7 +16,7 @@
Comp = Union +
instance
- program :: (term)ord
+ program :: (type) ord
defs
component_def "F <= H == EX G. F Join G = H"