nominal2: Changelog

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)

Christian Urban <urbanc@in.tum.de> [Wed, 14 Mar 2012 15:41:54 +0000] rev 3133

added ROOT.ML for tutorial

Christian Urban <urbanc@in.tum.de> [Mon, 05 Mar 2012 16:27:28 +0000] rev 3132

updated tutorial to latest version and added it to the tests

Christian Urban <urbanc@in.tum.de> [Wed, 29 Feb 2012 17:14:31 +0000] rev 3131

spellcheck

Christian Urban <urbanc@in.tum.de> [Wed, 29 Feb 2012 16:57:25 +0000] rev 3130

final changes to the lmcs paper

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