diff -r 826c6222cca2 -r 1eaae1a2f8ff src/HOL/MicroJava/JVM/Method.ML
--- a/src/HOL/MicroJava/JVM/Method.ML	Wed Nov 24 13:36:14 1999 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-(*  Title:      HOL/MicroJava/JVM/Method.ML
-    ID:         $Id$
-    Author:     Cornelia Pusch
-    Copyright   1999 Technische Universitaet Muenchen
-*)
-
-Addsimps [exec_mr_def];