nominal2: File revisions

Nominal-General/nominal_eqvt.ML

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
Fri, 16 Apr 2010 10:18:16 +0200	Christian Urban	some tuning of eqvt-infrastructure	file \| diff \| annotate
Wed, 14 Apr 2010 16:05:58 +0200	Christian Urban	tuned and removed dead code	file \| diff \| annotate
Wed, 14 Apr 2010 14:41:54 +0200	Christian Urban	added a library for basic nominal functions; separated nominal_eqvt file	file \| diff \| annotate

nominal2