changeset 7225 | 0a7c43c56092 |
parent 6397 | e70ae9b575cc |
child 9876 | a069795f1060 |
--- a/TFL/dcterm.sml Mon Aug 16 22:07:12 1999 +0200 +++ b/TFL/dcterm.sml Mon Aug 16 22:08:23 1999 +0200 @@ -128,7 +128,7 @@ val dest_imp = dest_binop "op -->" val dest_conj = dest_binop "op &" val dest_disj = dest_binop "op |" -val dest_cons = dest_binop "op #" +val dest_cons = dest_binop "Cons" val dest_let = swap o dest_binop "Let"; (* val dest_cond = dest_triop "if" *) val dest_select = dest_binder "Eps"