nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 04 Oct 2012 12:44:43 +0100] rev 3201

removed "use" - replaced by "ML_file"

Christian Urban <urbanc@in.tum.de> [Thu, 04 Oct 2012 11:10:23 +0100] rev 3200

removed fork_mono flag

Christian Urban <urbanc@in.tum.de> [Tue, 28 Aug 2012 16:48:07 +0100] rev 3199

tuned

Christian Urban <urbanc@in.tum.de> [Tue, 28 Aug 2012 16:47:26 +0100] rev 3198

added a nefangled ROOT file

Christian Urban <urbanc@in.tum.de> [Tue, 07 Aug 2012 18:54:52 +0100] rev 3197

definition of an auxiliary graph in nominal-primrec definitions

Christian Urban <urbanc@in.tum.de> [Tue, 07 Aug 2012 18:53:50 +0100] rev 3196

tuned

Christian Urban <urbanc@in.tum.de> [Tue, 07 Aug 2012 16:55:17 +0100] rev 3195

added eqvt-lemma for function composition

Christian Urban <urbanc@in.tum.de> [Mon, 06 Aug 2012 13:50:19 +0100] rev 3194

added new ROOT session file

webertj [Fri, 03 Aug 2012 14:46:25 +0200] rev 3193

command_spec antiquotation.

Christian Urban <urbanc@in.tum.de> [Sun, 15 Jul 2012 13:03:47 +0100] rev 3192

added a simproc for alpha-equivalence to the simplifier

nominal2