1 (* Title: Pure/conjunction.ML
2 ID: $Id$
3 Author: Makarius
2 Author: Makarius
4
3
5 Meta-level conjunction.
4 Meta-level conjunction.
6 *)
5 *)
7
6