Theory Abstract_BV

(*  Title:      HOL/MicroJava/BV/Semilat.thy
    ID:         $Id: Abstract_BV.html 1910 2004-05-19 04:46:04Z kleing $
    Author:     Gerwin Klein
    Copyright   2003 TUM

Abstract Bytecode Verifier
*)
(*<*)
theory Abstract_BV = Typing_Framework_err + Kildall + LBVCorrect + LBVComplete:

end
(*>*)