src/HOL/MicroJava/MicroJava.thy
author haftmann
Fri Oct 10 19:55:32 2014 +0200 (2014-10-10)
changeset 58646 cd63a4b12a33
parent 39918 7a1d8b9d17e7
permissions -rw-r--r--
specialized specification: avoid trivial instances
     1 theory MicroJava
     2 imports
     3   "J/JTypeSafe"
     4   "J/Example"
     5   "J/JListExample"
     6   "JVM/JVMListExample"
     7   "JVM/JVMDefensive"
     8   "BV/LBVJVM"
     9   "BV/BVNoTypeError"
    10   "BV/BVExample"
    11   "Comp/CorrComp"
    12   "Comp/CorrCompTp"
    13 begin
    14 
    15 end