src/HOL/Lambda/ParRed.thy
changeset 1269 ee011b365770
parent 1126 50ac36140e21
child 1376 92f83b9d17e1
     1.1 --- a/src/HOL/Lambda/ParRed.thy	Thu Oct 05 14:45:54 1995 +0100
     1.2 +++ b/src/HOL/Lambda/ParRed.thy	Fri Oct 06 10:45:11 1995 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  Parallel reduction and a complete developments function "cd".
     1.5  *)
     1.6  
     1.7 -ParRed = Lambda + Confluence +
     1.8 +ParRed = Lambda + Commutation +
     1.9  
    1.10  consts  par_beta :: "(db * db) set"
    1.11