nominal2: Changelog

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Tue, 27 Mar 2012 14:56:06 +0200] rev 3140

Define 'aux'

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Mon, 26 Mar 2012 16:28:17 +0200] rev 3139

Alternate version of Nominal_Base: Executable version.

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Mon, 26 Mar 2012 13:10:51 +0200] rev 3138

Defining nominal functions without FCB

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Mon, 26 Mar 2012 12:36:03 +0200] rev 3137

qpaper-jv add a section about descending etc

Christian Urban <urbanc@in.tum.de> [Wed, 21 Mar 2012 20:34:04 +0000] rev 3136

slight tuning of Q-paper-jv

Christian Urban <urbanc@in.tum.de> [Tue, 20 Mar 2012 11:26:10 +0000] rev 3135

updated to new Isabelle (20 March)

Christian Urban <urbanc@in.tum.de> [Sat, 17 Mar 2012 05:13:59 +0000] rev 3134

updated to new Isabelle (declared keywords)

nominal2