1 (* Title: HOL/MicroJava/JVM/Method.ML
2 ID: $Id$
3 Author: Cornelia Pusch
4 Copyright 1999 Technische Universitaet Muenchen
5 *)
6
7 Addsimps [exec_mr_def];