Re: [isabelle] Unable to prove easy existential "directly"
Don't worry, it is alive and kicking.
Am 19/07/2013 17:14, schrieb René Neumann:
> 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é
This archive was generated by a fusion of
Pipermail (Mailman edition) and