TFL/usyntax.sml

--- a/TFL/usyntax.sml	Thu May 22 15:11:56 1997 +0200
+++ b/TFL/usyntax.sml	Thu May 22 15:13:16 1997 +0200
@@ -1,3 +1,11 @@
+(*  Title:      TFL/usyntax
+    ID:         $Id$
+    Author:     Konrad Slind, Cambridge University Computer Laboratory
+    Copyright   1997  University of Cambridge
+
+Emulation of HOL's abstract syntax functions
+*)
+
 structure USyntax : USyntax_sig =
 struct
 
@@ -104,7 +112,6 @@
 
 
 (* Construction routines *)
-(* fun mk_var{Name,Ty} = Var((Name,0),Ty); *)
 fun mk_var{Name,Ty} = Free(Name,Ty);
 val mk_prim_var = Var;