src/HOL/Lambda/ParRed.thy
changeset 1789 aade046ec6d5
parent 1376 92f83b9d17e1
child 1900 c7a869229091
     1.1 --- a/src/HOL/Lambda/ParRed.thy	Thu Jun 06 13:13:18 1996 +0200
     1.2 +++ b/src/HOL/Lambda/ParRed.thy	Thu Jun 06 14:39:44 1996 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  translations
     1.5    "s => t" == "(s,t) : par_beta"
     1.6  
     1.7 -inductive "par_beta"
     1.8 +inductive par_beta
     1.9    intrs
    1.10      var   "Var n => Var n"
    1.11      abs   "s => t ==> Fun s => Fun t"