Re: [isabelle] Lattices with explicit carrier set vs. lattices with implicit carrier set

Unfortunately, I suspect that that will be necessary.
Larry Paulson

On 26 Oct 2009, at 17:03, Peter Lammich wrote:

Any ideas? Is the only way to redo the proofs of all necessary theorems
for explicit carrier sets?

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.