nominal2: Changelog

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Thu, 09 Feb 2012 14:47:24 +0100] rev 3118

minor

Christian Urban <urbanc@in.tum.de> [Fri, 03 Feb 2012 15:51:55 +0000] rev 3117

merged

Christian Urban <urbanc@in.tum.de> [Fri, 03 Feb 2012 15:47:47 +0000] rev 3116

added FROOT

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Fri, 03 Feb 2012 16:36:18 +0100] rev 3115

Use the theorem by Brian, requires new Isabelle.

Christian Urban <urbanc@in.tum.de> [Tue, 31 Jan 2012 16:26:36 +0000] rev 3114

2 typos found by John Wickerson in QPaper

Christian Urban <urbanc@in.tum.de> [Tue, 24 Jan 2012 17:43:07 +0000] rev 3113

repaired all slides

Christian Urban <urbanc@in.tum.de> [Tue, 24 Jan 2012 16:51:01 +0000] rev 3112

tuned make-file

Christian Urban <urbanc@in.tum.de> [Tue, 24 Jan 2012 14:29:07 +0000] rev 3111

made all papers work again

Christian Urban <urbanc@in.tum.de> [Tue, 24 Jan 2012 14:05:24 +0000] rev 3110

added a session entry in order to quickly build the heap file (tests took too long)

Christian Urban <urbanc@in.tum.de> [Mon, 16 Jan 2012 13:53:35 +0000] rev 3109

commented out parts of TypeScheme1 in order to run all tests

nominal2