added comment;
authorwenzelm
Mon Mar 03 13:53:29 1997 +0100 (1997-03-03)
changeset 2709241fffc25284
parent 2708 c3b86dcd340a
child 2710 3b26198fdaa5
added comment;
src/CCL/Term.thy
     1.1 --- a/src/CCL/Term.thy	Mon Mar 03 13:50:40 1997 +0100
     1.2 +++ b/src/CCL/Term.thy	Mon Mar 03 13:53:29 1997 +0100
     1.3 @@ -91,6 +91,8 @@
     1.4  
     1.5  (** Quantifier translations: variable binding **)
     1.6  
     1.7 +(* FIXME should use Syntax.mark_bound(T), Syntax.variant_abs' *)
     1.8 +
     1.9  fun let_tr [Free(id,T),a,b] = Const("let",dummyT) $ a $ absfree(id,T,b);
    1.10  fun let_tr' [a,Abs(id,T,b)] =
    1.11       let val (id',b') = variant_abs(id,T,b)