nominal2: File revisions

FSet.thy

2009-12-04	Christian Urban	merged	file \| diff \| annotate
2009-12-04	Christian Urban	not yet quite functional treatment of constants	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Changed FOCUS to SUBGOAL in rep_abs_rsp_tac; another 20% speedup :)	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Changing FOCUS to CSUBGOAL (part 1)	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	More code cleaning and name changes	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	More name changes	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	merge	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Removed previous inj_repabs_tac	file \| diff \| annotate
2009-12-04	Christian Urban	some tuning	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Using APPLY_RSP1; again a little bit faster.	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	merge	file \| diff \| annotate
2009-12-04	Cezary Kaliszyk	Made your version work again with LIST_REL_EQ.	file \| diff \| annotate
2009-12-03	Christian Urban	the error occurs in APPLY_RSP_TAC where the wrong quotient (for LIST_REL) is applied	file \| diff \| annotate
2009-12-03	Christian Urban	removed quot argument...not all examples work anymore	file \| diff \| annotate
2009-12-03	Cezary Kaliszyk	defs used automatically by clean_tac	file \| diff \| annotate

nominal2