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.