nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 23 Jul 2010 16:42:00 +0200] rev 2380

made compatible

Christian Urban <urbanc@in.tum.de> [Fri, 23 Jul 2010 16:41:36 +0200] rev 2379

added

Christian Urban <urbanc@in.tum.de> [Thu, 22 Jul 2010 08:30:50 +0200] rev 2378

updated to new Isabelle; made FSet more "quiet"

Christian Urban <urbanc@in.tum.de> [Tue, 20 Jul 2010 06:14:16 +0100] rev 2377

merged

Christian Urban <urbanc@in.tum.de> [Mon, 19 Jul 2010 08:55:49 +0100] rev 2376

minor

Christian Urban <urbanc@in.tum.de> [Mon, 19 Jul 2010 16:59:43 +0100] rev 2375

minor polishing

Christian Urban <urbanc@in.tum.de> [Mon, 19 Jul 2010 14:20:23 +0100] rev 2374

quote for a new paper

Christian Urban <urbanc@in.tum.de> [Mon, 19 Jul 2010 08:34:38 +0100] rev 2373

corrected lambda-preservation theorem

Christian Urban <urbanc@in.tum.de> [Mon, 19 Jul 2010 07:49:10 +0100] rev 2372

minor

Christian Urban <urbanc@in.tum.de> [Sun, 18 Jul 2010 19:07:05 +0100] rev 2371

minor things on the paper

nominal2