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.
merged
authorpaulson
Sun, 22 Jul 2018 13:29:41 +0200
changeset 68674 f4ac69fe4509
parent 68672 9247996782c9 (diff)
parent 68673 22d10f94811e (current diff)
child 68676 74cb08ff2e66
merged
--- a/src/HOL/TPTP/TPTP_Parser_Test.thy	Sun Jul 22 13:29:24 2018 +0200
+++ b/src/HOL/TPTP/TPTP_Parser_Test.thy	Sun Jul 22 13:29:41 2018 +0200
@@ -30,14 +30,14 @@
         Nonstandard "OTH123.p"),
      ("other",
         Nonstandard "other"),
-     ("AAA000£0.axiom",
-        Nonstandard "AAA000£0.axiom"),
-     ("AAA000£0.p",
-        Nonstandard "AAA000£0.p"),
+     ("AAA000\194\1630.axiom",
+        Nonstandard "AAA000\194\1630.axiom"),
+     ("AAA000\194\1630.p",
+        Nonstandard "AAA000\194\1630.p"),
      ("AAA000.0.p",
         Nonstandard "AAA000.0.p"),
-     ("AAA000£0.what",
-        Nonstandard "AAA000£0.what"),
+     ("AAA000\194\1630.what",
+        Nonstandard "AAA000\194\1630.what"),
      ("",
         Nonstandard "")];
 in
isabelle