nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 29 Feb 2012 16:23:11 +0000] rev 3129

more one the lmcs-paper

Christian Urban <urbanc@in.tum.de> [Wed, 29 Feb 2012 04:56:06 +0000] rev 3128

more on the lmcs paper

Christian Urban <urbanc@in.tum.de> [Wed, 29 Feb 2012 03:13:45 +0000] rev 3127

merged

Christian Urban <urbanc@in.tum.de> [Wed, 29 Feb 2012 03:12:52 +0000] rev 3126

implemented all comments from the reviewer

Christian Urban <urbanc@in.tum.de> [Wed, 22 Feb 2012 12:10:17 +0000] rev 3125

slight polish of the qpaper-jv

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Tue, 28 Feb 2012 15:13:42 +0100] rev 3124

Update to the localized quotient package

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Fri, 17 Feb 2012 15:23:38 +0100] rev 3123

Update from Isabelle Wed Feb 15 23:19:30

Christian Urban <urbanc@in.tum.de> [Fri, 17 Feb 2012 11:50:09 +0000] rev 3122

added multisets to stable branch

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

nominal2