Re: [isabelle] Unable to prove easy existential "directly"

Am 19.07.2013 18:48, schrieb Makarius:
>   * 'thus' is an an old-fahsioned abbreviation,
When did this become 'old-fashioned'?

>  for people who like typing more than necessary (paradoxically).

|'th<TAB><space>sh<TAB>'| = 7
|'thus'| = 4

Not counting the time it takes to wait before autocompletion mechanisms
can be used (ie small delay before each <TAB>)

- 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 Kryptografische Unterschrift

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