nominal2: File revisions

Nominal-General/nominal_eqvt.ML

Wed, 12 May 2010 16:26:06 +0100	Christian Urban	added a test whether some of the constants already equivariant (then the procedure has to fail).	file \| diff \| annotate
Wed, 12 May 2010 15:17:35 +0100	Christian Urban	better ML-interface (returning only a list of theorems and a context)	file \| diff \| annotate
Wed, 12 May 2010 14:47:52 +0100	Christian Urban	ingnored parameters in equivariance; added a proper interface to be called from ML	file \| diff \| annotate
Sun, 09 May 2010 11:43:24 +0100	Christian Urban	fixed the problem with alpha containing splits	file \| diff \| annotate
Thu, 06 May 2010 14:09:21 +0200	Cezary Kaliszyk	Fixes for new isabelle	file \| diff \| annotate
Wed, 05 May 2010 10:24:54 +0100	Christian Urban	solved the problem with equivariance by first eta-normalising the goal	file \| diff \| annotate
Sun, 25 Apr 2010 09:26:36 +0200	Christian Urban	tuned	file \| diff \| annotate
Fri, 16 Apr 2010 16:29:11 +0200	Christian Urban	automatic proofs for equivariance of alphas	file \| diff \| annotate

nominal2