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/Pure/Tools/codegen_serializer.ML
changeset 19111 1f6112de1d0f
parent 19042 630b8dd0b31a
child 19136 00ade10f611d 
--- a/src/Pure/Tools/codegen_serializer.ML	Mon Feb 20 11:37:18 2006 +0100
+++ b/src/Pure/Tools/codegen_serializer.ML	Mon Feb 20 11:38:06 2006 +0100
@@ -976,7 +976,7 @@
       "import", "default", "forall", "let", "in", "class", "qualified", "data",
       "newtype", "instance", "if", "then", "else", "type", "as", "do", "module"
     ] @ [
-      "Bool", "fst", "snd", "Integer", "True", "False", "negate"
+      "Bool", "Integer", "True", "False", "negate"
     ];
     fun hs_from_module imps ((_, name), ps) =
       (Pretty.chunks) (
isabelle