Re: [isabelle] instantiating typedecls with datatypes?



On Tue, 7 Nov 2006, Thomas Bleher wrote:

> Are the "structuring concepts" you're referring to already available in 
> CVS?

We are still working on it.


> I'm already adapting all the theories to work with the latest Isabelle, 
> so I could look into this as well.

I would recommend using Isabelle2005 at the moment, unless you want to try 
catching up with huge amounts of transient changes every few days which 
are mostly reflected in the ChangeLog only.


	Makarius





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