nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 17 Feb 2012 02:05:00 +0000] rev 3121

added fs and pt for multisets

Christian Urban <urbanc@in.tum.de> [Thu, 16 Feb 2012 07:14:28 +0000] rev 3120

same as in function_common

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Thu, 09 Feb 2012 15:18:10 +0100] rev 3119

qpaper-jv: merge and add to TODOs in the paper and in front.

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

nominal2