Re: [isabelle] Isabelle problem



On Fri, 6 Jun 2008, Beta Ziliani wrote:

> normal form "rev (a # b # c # [])"
> 
> It says that "Command is not state preserving, I won't execute it!"

This means you cannot issue it in the mini buffer command line of Proof 
General, but have to put it into the true theory text.


	Makarius






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