Re: [isabelle] help on Trueprop

On Wed, 6 Sep 2006, Joao Marcos wrote:

> what in the world has happened with the type "seq"??

It became a nonterminal, see the declaration in Sequents.thy

You probably still have 'consts' with non-logical types.  Changing this 
into 'syntax' should do the job.


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