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



Don't worry, it is alive and kicking.

Tobias

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 MHonArc.