diff -r f6ef556b3ede -r ee011b365770 src/HOL/Lambda/ParRed.thy
--- a/src/HOL/Lambda/ParRed.thy	Thu Oct 05 14:45:54 1995 +0100
+++ b/src/HOL/Lambda/ParRed.thy	Fri Oct 06 10:45:11 1995 +0100
@@ -6,7 +6,7 @@
 Parallel reduction and a complete developments function "cd".
 *)
 
-ParRed = Lambda + Confluence +
+ParRed = Lambda + Commutation +
 
 consts  par_beta :: "(db * db) set"