--- a/src/HOL/UNITY/Lift_prog.thy Tue Sep 28 22:17:05 1999 +0200
+++ b/src/HOL/UNITY/Lift_prog.thy Wed Sep 29 13:13:06 1999 +0200
@@ -6,7 +6,7 @@
lift_prog, etc: replication of components
*)
-Lift_prog = Guar + Extend +
+Lift_prog = Project +
constdefs