nominal2: File revisions

Nominal-General/nominal_permeq.ML

Mon, 17 May 2010 18:13:39 +0100	Christian Urban	updated to new Isabelle (More_Conv -> Conv)	file \| diff \| annotate
Thu, 13 May 2010 16:09:34 +0100	Christian Urban	properly declared outer keyword	file \| diff \| annotate
Sun, 09 May 2010 11:37:19 +0100	Christian Urban	added eqvt-lemma for split; changed semantics of perm_simp: excluded stands for constants about which no complaint is written out...eqvt_apply is now always applied	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:13:16 +0200	Christian Urban	tuned and cleaned	file \| diff \| annotate
Fri, 16 Apr 2010 16:29:11 +0200	Christian Urban	automatic proofs for equivariance of alphas	file \| diff \| annotate
Wed, 14 Apr 2010 15:02:07 +0200	Christian Urban	moved a couple of more functions to the library	file \| diff \| annotate

nominal2