1 files changed, 0 insertions, 51 deletions
diff --git a/Syntactic.hs b/Syntactic.hs
deleted file mode 100644
index 870cc35..0000000
--- a/Syntactic.hs
+++ /dev/null
@@ -1,51 +0,0 @@
-import System.Environment( getArgs )
-import Text.Printf
-import Library.Parse
-
-
-
-scan :: String -> String
-scan s = if (s == "absTerm" ||
-	         s == "absThm" ||
-	         s == "appTerm" ||
-	         s == "appThm" ||
-	         s == "assume" ||
-	         s == "axiom" ||
-	         s == "betaConv" ||
-	         s == "cons" ||
-	         s == "const" ||
-	         s == "constTerm" ||
-	         s == "deductAntisym" ||
-	         s == "def" ||
-	         s == "defineConst" ||
-	         s == "defineTypeOp" ||
-	         s == "eqMp" ||
-	         s == "nil" ||
-	         s == "opType" ||
-	         s == "pop" ||
-	         s == "ref" ||
-	         s == "refl" ||
-	         s == "remove" ||
-	         s == "subst" ||
-	         s == "thm" ||
-	         s == "typeOp" ||
-	         s == "var" ||
-	         s == "varTerm" ||
-	         s == "varType" ||
-	         isComment(s) ||
-	         isNumber(s) ||
-	         isName(s))
-         then s
-         else error $ "Invalid input " ++ s
-
-
-doScan :: [String] -> [String]
-doScan = map (scan . stripReturn)
-
-
-main = do
-	args <- getArgs
-	list <- getLines (head args)
-	plist <- return $ doScan list
-	printf $ if (args == plist) then "Scan OK\n" else "Syntax error\n"
-