--- a/src/HOL/UNITY/Lift_prog.thy Thu Jan 13 17:29:04 2000 +0100 +++ b/src/HOL/UNITY/Lift_prog.thy Thu Jan 13 17:30:23 2000 +0100 @@ -6,7 +6,7 @@ lift_prog, etc: replication of components *) -Lift_prog = ELT + +Lift_prog = Project + constdefs