src/HOL/MicroJava/DFA/Semilattices.thy
author haftmann
Tue Nov 24 14:37:23 2009 +0100 (2009-11-24)
changeset 33954 1bc3b688548c
child 42150 b0c0638c4aad
permissions -rwxr-xr-x
backported parts of abstract byte code verifier from AFP/Jinja
     1 (*  Title:      HOL/MicroJava/BV/Semilat.thy
     2     Author:     Gerwin Klein
     3     Copyright   2003 TUM
     4 *)
     5 
     6 header {* Semilattices *}
     7 
     8 (*<*)
     9 theory Semilattices
    10 imports Err Opt Product Listn
    11 begin
    12 
    13 end
    14 (*>*)