nominal2: File revisions

FSet.thy

Wed, 25 Nov 2009 03:45:44 +0100	Christian Urban	fixed the problem with generalising variables; at the moment it is quite a hack	file \| diff \| annotate
Tue, 24 Nov 2009 20:13:16 +0100	Cezary Kaliszyk	Ho-matching failures...	file \| diff \| annotate
Tue, 24 Nov 2009 17:00:53 +0100	Cezary Kaliszyk	Conversion	file \| diff \| annotate
Tue, 24 Nov 2009 16:20:34 +0100	Cezary Kaliszyk	The non-working procedure_tac.	file \| diff \| annotate
Tue, 24 Nov 2009 15:18:00 +0100	Cezary Kaliszyk	Fixes to the tactic after quotient_tac changed.	file \| diff \| annotate
Tue, 24 Nov 2009 08:36:28 +0100	Cezary Kaliszyk	Another theorem for which the new regularize differs from old one, so the goal is not proved. But it seems, that the new one is better.	file \| diff \| annotate
Mon, 23 Nov 2009 23:09:03 +0100	Christian Urban	fixed the error by a temporary fix (the data of the eqivalence relation should be only its name)	file \| diff \| annotate
Mon, 23 Nov 2009 21:56:30 +0100	Cezary Kaliszyk	Another not-typechecking regularized term.	file \| diff \| annotate

nominal2