src/HOL/MicroJava/JVM/Method.ML

renamed comp to compile (avoids clash with Relation.comp);

(*  Title:      HOL/MicroJava/JVM/Method.ML
    ID:         $Id$
    Author:     Cornelia Pusch
    Copyright   1999 Technische Universitaet Muenchen
*)

Addsimps [exec_mr_def];