# HG changeset patch
# User bulwahn
# Date 1292495482 -3600
# Node ID 8aace46ffecb3828bf544641cf317b9a999b90dc
# Parent  4aa6465fec65e0abcef7618e57c899270ed79260
removing file refute_isar.ML that was missed in 4006f5c3f421

diff -r 4aa6465fec65 -r 8aace46ffecb src/HOL/Tools/refute_isar.ML
--- a/src/HOL/Tools/refute_isar.ML	Thu Dec 16 11:31:07 2010 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-(*  Title:      HOL/Tools/refute_isar.ML
-    Author:     Tjark Weber
-    Copyright   2003-2007
-
-
-end;
-