# HG changeset patch
# User wenzelm
# Date 934834103 -7200
# Node ID 0a7c43c560927594c9145a71d8c81f52acf927db
# Parent  e41e64476f9b053689a73db9b84e5a38cc86342a
replaced "op #" by "Cons";

diff -r e41e64476f9b -r 0a7c43c56092 TFL/dcterm.sml
--- 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"