nominal2: File revisions

Quot/quotient_def.ML

Mon, 11 Jan 2010 00:31:29 +0100	Christian Urban	the chk-functions in quotient_term also simplify the result according to the id_simps; had to remove id_def from this theorem list though; this caused in FSet3 that relied on this rule; the problem is marked with "ID PROBLEM"	file \| diff \| annotate
Fri, 08 Jan 2010 19:46:22 +0100	Cezary Kaliszyk	New_relations, all works again including concat examples.	file \| diff \| annotate
Fri, 01 Jan 2010 23:59:32 +0100	Christian Urban	tuned	file \| diff \| annotate
Fri, 01 Jan 2010 01:10:38 +0100	Christian Urban	fixed comment errors	file \| diff \| annotate
Fri, 01 Jan 2010 01:08:19 +0100	Christian Urban	some slight tuning	file \| diff \| annotate
Thu, 31 Dec 2009 23:53:10 +0100	Christian Urban	renamed transfer to transform (Markus)	file \| diff \| annotate
Fri, 25 Dec 2009 00:58:06 +0100	Christian Urban	tuned	file \| diff \| annotate
Tue, 22 Dec 2009 21:31:44 +0100	Christian Urban	renamed get_fun to absrep_fun; introduced explicit checked versions of the term functions	file \| diff \| annotate

nominal2