(* Title: HOL/MicroJava/BV/Semilat.thy Author: Gerwin Klein Copyright 2003 TUM *) header {* Semilattices *} (*<*) theory Semilattices imports Err Opt Product Listn begin end (*>*)