nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 17 Aug 2011 22:56:07 +0200] rev 2992

made same changes as in main branch

Christian Urban <urbanc@in.tum.de> [Wed, 17 Aug 2011 21:08:48 +0200] rev 2991

more on the lmcs paper

Christian Urban <urbanc@in.tum.de> [Wed, 17 Aug 2011 09:43:37 +0200] rev 2990

a little tuning on the paper

Christian Urban <urbanc@in.tum.de> [Tue, 16 Aug 2011 17:48:09 +0200] rev 2989

more on the intro and correct style-files

Christian Urban <urbanc@in.tum.de> [Mon, 15 Aug 2011 17:42:35 +0200] rev 2988

uodated to new Isabelle (15. Aug)

Christian Urban <urbanc@in.tum.de> [Mon, 15 Aug 2011 10:43:22 +0200] rev 2987

updated for new Isabelle (11. Aug.)

Christian Urban <urbanc@in.tum.de> [Sun, 14 Aug 2011 08:52:03 +0200] rev 2986

merged

Christian Urban <urbanc@in.tum.de> [Fri, 12 Aug 2011 22:37:41 +0200] rev 2985

started lmcs paper (isabelle make lmcs)

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 24 Jul 2011 07:54:54 +0200] rev 2984

update to 'termination (eqvt)'.

Christian Urban <urbanc@in.tum.de> [Fri, 22 Jul 2011 11:52:12 +0100] rev 2983

tuned

nominal2