changeset 8011 | d14c4e9e9c8e |
child 11026 | a50365d21144 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/HOL/MicroJava/J/JTypeSafe.thy Thu Nov 11 12:23:45 1999 +0100 1.3 @@ -0,0 +1,9 @@ 1.4 +(* Title: HOL/MicroJava/J/JTypeSafe.thy 1.5 + ID: $Id$ 1.6 + Author: David von Oheimb 1.7 + Copyright 1999 Technische Universitaet Muenchen 1.8 + 1.9 +Type Safety of Java 1.10 +*) 1.11 + 1.12 +JTypeSafe = Eval + Conform