diff -r 4a53041acb28 -r b43ad07660b9 src/HOL/UNITY/Lift_prog.thy
--- 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