nominal2: File revisions

Nominal/nominal_dt_alpha.ML

Wed, 29 Jun 2011 00:48:50 +0100	Christian Urban	some experiments	file \| diff \| annotate
Thu, 23 Jun 2011 11:30:39 +0100	Christian Urban	fixed nasty bug with type variables in nominal_datatypes; this included to be careful with the output of the inductive and function package	file \| diff \| annotate
Thu, 16 Jun 2011 20:07:03 +0100	Christian Urban	got rid of the boolean flag in the raw_equivariance function	file \| diff \| annotate
Wed, 13 Apr 2011 13:41:52 +0100	Christian Urban	introduced framework for finetuning eqvt-rules; this solves problem with permute_pure called in nominal_inductive	file \| diff \| annotate
Thu, 16 Dec 2010 08:42:48 +0000	Christian Urban	simple cases for strong inducts done; infrastructure for the difficult ones is there	file \| diff \| annotate
Mon, 06 Dec 2010 16:35:42 +0000	Christian Urban	automated alpha_perm_bn theorems	file \| diff \| annotate
Mon, 06 Dec 2010 14:24:17 +0000	Christian Urban	ordered raw_bn_info to agree with the order of the raw_bn_functions; started alpha_bn proof	file \| diff \| annotate

nominal2