--- a/TFL/usyntax.sml Fri Apr 23 12:22:30 1999 +0200 +++ b/TFL/usyntax.sml Fri Apr 23 12:23:21 1999 +0200 @@ -214,7 +214,6 @@ end; -(* Garbage - ought to be dropped *) val lhs = #lhs o dest_eq val rhs = #rhs o dest_eq val rand = #Rand o dest_comb