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.
removing file refute_isar.ML that was missed in 4006f5c3f421
authorbulwahn
Thu, 16 Dec 2010 11:31:22 +0100 (2010-12-16)
changeset 41192 8aace46ffecb
parent 41191 4aa6465fec65
child 41194 9796e5e01b61
child 41195 f59491d56327
removing file refute_isar.ML that was missed in 4006f5c3f421
src/HOL/Tools/refute_isar.ML file | annotate | diff | comparison | revisions 
--- 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;
-
isabelle