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


I noticed the following omission in isar-ref §6.2.4, last paragraph:

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.

- René

René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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