nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 22 Jun 2010 18:07:53 +0100] rev 2322

proved eqvip theorems for alphas

Christian Urban <urbanc@in.tum.de> [Tue, 22 Jun 2010 13:31:42 +0100] rev 2321

cleaned up the FSet (noise was introduced by error)

Christian Urban <urbanc@in.tum.de> [Tue, 22 Jun 2010 13:05:00 +0100] rev 2320

prove that alpha implies alpha_bn (needed for rsp proofs)

Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 15:41:59 +0100] rev 2319

further post-submission tuning

Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 06:47:40 +0100] rev 2318

merged with main line

Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 06:46:28 +0100] rev 2317

merged

Christian Urban <urbanc@in.tum.de> [Fri, 11 Jun 2010 03:02:42 +0200] rev 2316

also symmetry

Christian Urban <urbanc@in.tum.de> [Thu, 10 Jun 2010 14:53:45 +0200] rev 2315

merged

Christian Urban <urbanc@in.tum.de> [Thu, 10 Jun 2010 14:53:28 +0200] rev 2314

premerge

Christian Urban <urbanc@in.tum.de> [Wed, 09 Jun 2010 15:14:16 +0200] rev 2313

transitivity proofs done

nominal2