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
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and