# HG changeset patch
# User wenzelm
# Date 1334318375 -7200
# Node ID 479b4d6b9562e007816b092efb880bc7e99f0031
# Parent  598604c910369f73806197963692566733f0e41b
eliminated hard tabs;

diff -r 598604c91036 -r 479b4d6b9562 src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML
--- 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