--- a/src/CCL/Term.thy Tue Sep 13 11:39:49 1994 +0200
+++ b/src/CCL/Term.thy Wed Sep 14 14:49:56 1994 +0200
@@ -37,10 +37,10 @@
letrec2 :: "[[i,i,i=>i=>i]=>i,(i=>i=>i)=>i]=>i"
letrec3 :: "[[i,i,i,i=>i=>i=>i]=>i,(i=>i=>i=>i)=>i]=>i"
- "@let" :: "[id,i,i]=>i" ("(3let _ be _/ in _)" [] 60)
- "@letrec" :: "[id,id,i,i]=>i" ("(3letrec _ _ be _/ in _)" [] 60)
- "@letrec2" :: "[id,id,id,i,i]=>i" ("(3letrec _ _ _ be _/ in _)" [] 60)
- "@letrec3" :: "[id,id,id,id,i,i]=>i" ("(3letrec _ _ _ _ be _/ in _)" [] 60)
+ "@let" :: "[idt,i,i]=>i" ("(3let _ be _/ in _)" [] 60)
+ "@letrec" :: "[idt,idt,i,i]=>i" ("(3letrec _ _ be _/ in _)" [] 60)
+ "@letrec2" :: "[idt,idt,idt,i,i]=>i" ("(3letrec _ _ _ be _/ in _)" [] 60)
+ "@letrec3" :: "[idt,idt,idt,idt,i,i]=>i" ("(3letrec _ _ _ _ be _/ in _)" [] 60)
napply :: "[i=>i,i,i]=>i" ("(_ ^ _ ` _)")