Re: [isabelle] programming internal proofs

On Tue, 13 Dec 2005, Michael Norrish wrote:

> Unfortunately, the latest CVS version of Isabelle no longer has such a
> function in the Tactic structure. 

As usual, the NEWS file will tell you more about this.


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