src/HOL/Tools/Nitpick/lib/Tools/nitrox

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Tue Mar 22 19:04:32 2011 +0100
@@ -0,0 +1,24 @@
+#!/usr/bin/env bash
+#
+# Author: Jasmin Blanchette
+#
+# DESCRIPTION: TPTP FOF version of Nitpick
+
+
+PRG="$(basename "$0")"
+
+function usage() {
+  echo
+  echo "Usage: isabelle $PRG FILES"
+  echo
+  echo "  Runs Nitrox on a FOF or CNF TPTP problem."
+  echo
+  exit 1
+}
+
+for FILE in "$@"
+do
+  (echo "theory Nitrox_Run imports Main begin" &&
+   echo "ML {* Nitrox.pick_nits_in_fof_file \"$FILE\" *}" &&
+   echo "end;") | isabelle tty
+done