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.
eliminated hard tabs;
authorwenzelm
Fri, 13 Apr 2012 13:59:35 +0200
changeset 47454 479b4d6b9562
parent 47453 598604c91036
child 47455 26315a545e26
eliminated hard tabs;
src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML	Fri Apr 13 13:30:27 2012 +0200
+++ b/src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML	Fri Apr 13 13:59:35 2012 +0200
@@ -345,23 +345,23 @@
 
 fun status_to_string status_value =
   case status_value of
-      Suc => "suc"	| Unp => "unp"
+      Suc => "suc"  | Unp => "unp"
     | Sap => "sap"  | Esa => "esa"
     | Sat => "sat"  | Fsa => "fsa"
     | Thm => "thm"  | Wuc => "wuc"
-    | Eqv => "eqv"	| Tac => "tac"
-    | Wec => "wec"	| Eth => "eth"
-    | Tau => "tau"	| Wtc => "wtc"
-    | Wth => "wth"	| Cax => "cax"
-    | Sca => "sca"	| Tca => "tca"
-    | Wca => "wca"	| Cup => "cup"
-    | Csp => "csp"	| Ecs => "ecs"
-    | Csa => "csa"	| Cth => "cth"
-    | Ceq => "ceq"	| Unc => "unc"
-    | Wcc => "wcc"	| Ect => "ect"
-    | Fun => "fun"	| Uns => "uns"
-    | Wct => "wct"	| Scc => "scc"
-    | Uca => "uca"	| Noc => "noc"
+    | Eqv => "eqv"  | Tac => "tac"
+    | Wec => "wec"  | Eth => "eth"
+    | Tau => "tau"  | Wtc => "wtc"
+    | Wth => "wth"  | Cax => "cax"
+    | Sca => "sca"  | Tca => "tca"
+    | Wca => "wca"  | Cup => "cup"
+    | Csp => "csp"  | Ecs => "ecs"
+    | Csa => "csa"  | Cth => "cth"
+    | Ceq => "ceq"  | Unc => "unc"
+    | Wcc => "wcc"  | Ect => "ect"
+    | Fun => "fun"  | Uns => "uns"
+    | Wct => "wct"  | Scc => "scc"
+    | Uca => "uca"  | Noc => "noc"
 
 fun string_of_tptp_term x =
   case x of
isabelle