src/HOL/MicroJava/J/Exceptions.thy
2002-10-23 streckem 2002-10-23 Added compiler