Theory Semilattices

Up to index of Isabelle/HOL/Jinja

theory Semilattices = Err + Opt + Product + Listn:

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

Semilattices
*)
(*<*)
theory Semilattices = Err + Opt + Product + Listn:

end
(*>*)