Re: [isabelle] [RC3]: Word omission in isar-ref

On Mon, 11 Aug 2014, René Neumann wrote:

The optional case names of obtains have a twofold meaning: (1) during
the [something is missing here] of this claim they [..]

Probably 'proof' is missing there.

Yes, and there are more oddities in the wording. I am tuning this for the next release candidate.


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