Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Metis/metis_translate.ML
changeset 39962 d42ddd7407ca
parent 39958 88c9aa5666de
child 40145 04a05b2a7a36 
--- a/src/HOL/Tools/Metis/metis_translate.ML	Wed Oct 06 17:42:57 2010 +0200
+++ b/src/HOL/Tools/Metis/metis_translate.ML	Wed Oct 06 17:44:07 2010 +0200
@@ -111,7 +111,7 @@
                (@{const_name HOL.disj}, "or"),
                (@{const_name HOL.implies}, "implies"),
                (@{const_name Set.member}, "member"),
-               (@{const_name fequal}, "fequal"),
+               (@{const_name Metis.fequal}, "fequal"),
                (@{const_name Meson.COMBI}, "COMBI"),
                (@{const_name Meson.COMBK}, "COMBK"),
                (@{const_name Meson.COMBB}, "COMBB"),
isabelle