# HG changeset patch
# User wenzelm
# Date 779546996 -7200
# Node ID ede55dd46f9dc129d9eba4f4ba40e156f74a2f42
# Parent  6d520505e70407fb3cbba5d8c23f292ca6c917dd
letrec syntax: replaced "id" by "idt";

diff -r 6d520505e704 -r ede55dd46f9d src/CCL/Term.thy
--- 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"      ("(_ ^ _ ` _)")