src/HOL/UNITY/Comp.thy
changeset 12338 de0f4a63baa5
parent 11190 44e157622cb2
child 13792 d1811693899c
     1.1 --- a/src/HOL/UNITY/Comp.thy	Sat Dec 01 18:51:46 2001 +0100
     1.2 +++ b/src/HOL/UNITY/Comp.thy	Sat Dec 01 18:52:32 2001 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4  Comp = Union +
     1.5  
     1.6  instance
     1.7 -  program :: (term)ord
     1.8 +  program :: (type) ord
     1.9  
    1.10  defs
    1.11    component_def   "F <= H == EX G. F Join G = H"