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/Metis_Examples/Type_Encodings.thy
changeset 47048 3347c853d8e2
parent 46733 4a03b30e04cb
child 48091 64025f5405a4 
--- a/src/HOL/Metis_Examples/Type_Encodings.thy	Tue Mar 20 13:53:09 2012 +0100
+++ b/src/HOL/Metis_Examples/Type_Encodings.thy	Tue Mar 20 13:53:09 2012 +0100
@@ -27,10 +27,10 @@
    "poly_guards",
    "poly_guards?",
    "poly_guards??",
-   "poly_guards@?",
+   (* "poly_guards@?", *)
    "poly_guards!",
    "poly_guards!!",
-   "poly_guards@!",
+   (* "poly_guards@!", *)
    "poly_tags",
    "poly_tags?",
    "poly_tags??",
isabelle