Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
replaced "op #" by "Cons";
authorwenzelm
Mon, 16 Aug 1999 22:08:23 +0200
changeset 7225 0a7c43c56092
parent 7224 e41e64476f9b
child 7226 1a4ed2eb48f3
replaced "op #" by "Cons";
TFL/dcterm.sml file | annotate | diff | comparison | revisions 
--- 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"
isabelle