Wed, 14 Apr 2010 07:57:55 +0200 Christian Urban more tuning
Wed, 14 Apr 2010 07:34:03 +0200 Christian Urban tuned
Tue, 13 Apr 2010 15:59:53 +0200 Cezary Kaliszyk Working FSet with additional lemmas.
Tue, 13 Apr 2010 15:00:49 +0200 Cezary Kaliszyk Much more in FSet (currently non-working)
Tue, 13 Apr 2010 07:40:54 +0200 Christian Urban made everything to compile
Tue, 13 Apr 2010 00:53:48 +0200 Christian Urban merged
Tue, 13 Apr 2010 00:53:32 +0200 Christian Urban some small tunings (incompleted work in Lambda.thy)
Tue, 13 Apr 2010 00:47:57 +0200 Christian Urban moved equivariance of map into Nominal2_Eqvt file
Mon, 12 Apr 2010 17:44:26 +0200 Christian Urban early ott paper
Mon, 12 Apr 2010 17:05:19 +0200 Cezary Kaliszyk Porting lemmas from Quotient package FSet to new FSet.
Mon, 12 Apr 2010 14:31:23 +0200 Christian Urban added alpha-caml paper
Mon, 12 Apr 2010 13:34:54 +0200 Christian Urban implemented in thmdecls the case where eqvt-lemmas are of the form _ ==> _
Sun, 11 Apr 2010 22:48:49 +0200 Christian Urban fixed bug in thmdecls with destructing Trueprop; some initial infrastructure for eqvt-theorems of the form _ ==> _
Sun, 11 Apr 2010 22:47:45 +0200 Christian Urban folded changes from the conference version
(0) -1000 -300 -100 -14 +14 +100 +300 +1000 tip