changeset 1269 | ee011b365770 |
parent 1126 | 50ac36140e21 |
child 1376 | 92f83b9d17e1 |
--- 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"