Re: [isabelle] "and similarly..."




On 31.01.2012, at 15:57, John Wickerson wrote:

> Hello,
> 
> Is there a feature in Isabelle that corresponds to writing "and similarly" in an informal pen-and-paper proof? 


This question made my day :-)

Cheers,

Steven




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