nominal2: File revisions

quotient.ML

Sun, 06 Dec 2009 13:41:42 +0100	Christian Urban	added a theorem list for equivalence theorems	file \| diff \| annotate
Fri, 04 Dec 2009 15:18:33 +0100	Cezary Kaliszyk	More name changes	file \| diff \| annotate
Thu, 03 Dec 2009 13:59:53 +0100	Christian Urban	first version of internalised quotient theorems; added FIXME-TODO	file \| diff \| annotate
Sat, 28 Nov 2009 18:49:39 +0100	Christian Urban	selective debugging of the inj_repabs_tac (at the moment for step 3 and 4 debugging information is printed)	file \| diff \| annotate
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 15:31:29 +0100	Christian Urban	use error instead of raising our own exception	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
Sun, 22 Nov 2009 15:30:23 +0100	Christian Urban	updated to Isabelle 22nd November	file \| diff \| annotate

nominal2