--- a/src/HOL/UNITY/Lift_prog.thy Tue Nov 30 16:51:41 1999 +0100 +++ b/src/HOL/UNITY/Lift_prog.thy Tue Nov 30 16:54:10 1999 +0100 @@ -6,7 +6,7 @@ lift_prog, etc: replication of components *) -Lift_prog = Project + +Lift_prog = ELT + constdefs