src/CCL/Term.thy
changeset 610 ede55dd46f9d
parent 289 78541329ff35
child 998 91d09e262799
     1.1 --- a/src/CCL/Term.thy	Tue Sep 13 11:39:49 1994 +0200
     1.2 +++ b/src/CCL/Term.thy	Wed Sep 14 14:49:56 1994 +0200
     1.3 @@ -37,10 +37,10 @@
     1.4    letrec2    ::       "[[i,i,i=>i=>i]=>i,(i=>i=>i)=>i]=>i"
     1.5    letrec3    ::       "[[i,i,i,i=>i=>i=>i]=>i,(i=>i=>i=>i)=>i]=>i"  
     1.6  
     1.7 -  "@let"     ::       "[id,i,i]=>i"             ("(3let _ be _/ in _)" [] 60)
     1.8 -  "@letrec"  ::       "[id,id,i,i]=>i"          ("(3letrec _ _ be _/ in _)"  [] 60)
     1.9 -  "@letrec2" ::       "[id,id,id,i,i]=>i"       ("(3letrec _ _ _ be _/ in _)"  [] 60)
    1.10 -  "@letrec3" ::       "[id,id,id,id,i,i]=>i"    ("(3letrec _ _ _ _ be _/ in _)"  [] 60)
    1.11 +  "@let"     ::       "[idt,i,i]=>i"             ("(3let _ be _/ in _)" [] 60)
    1.12 +  "@letrec"  ::       "[idt,idt,i,i]=>i"          ("(3letrec _ _ be _/ in _)"  [] 60)
    1.13 +  "@letrec2" ::       "[idt,idt,idt,i,i]=>i"       ("(3letrec _ _ _ be _/ in _)"  [] 60)
    1.14 +  "@letrec3" ::       "[idt,idt,idt,idt,i,i]=>i"    ("(3letrec _ _ _ _ be _/ in _)"  [] 60)
    1.15  
    1.16    napply    :: "[i=>i,i,i]=>i"      ("(_ ^ _ ` _)")
    1.17