1
2 open LatPreInsts;
3
4
2
5 (** complete lattices **)
3 (** complete lattices **)
6
7 Goal "is_inf x y (Inf {x, y})";
5 Goal "is_inf x y (Inf {x, y})";