nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jun 2012 14:50:47 +0100] rev 3184

a simproc for simplifying Fresh when there is a sufficiently fresh atom

Christian Urban <urbanc@in.tum.de> [Mon, 04 Jun 2012 21:39:51 +0100] rev 3183

added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often

Christian Urban <urbanc@in.tum.de> [Thu, 31 May 2012 12:01:13 +0100] rev 3182

merged

Christian Urban <urbanc@in.tum.de> [Thu, 31 May 2012 12:01:01 +0100] rev 3181

added to the simplifier nominal_datatype.fresh lemmas

Christian Urban <urbanc@in.tum.de> [Thu, 31 May 2012 11:59:56 +0100] rev 3180

added let-eqvt back

Cezary Kaliszyk <cezarykaliszyk@gmail.com> [Thu, 31 May 2012 12:44:37 +0200] rev 3179

Propagare changes from Nominal2_Base to _Exec

Christian Urban <urbanc@in.tum.de> [Thu, 31 May 2012 10:05:19 +0100] rev 3178

renamed fresh_fun to Fresh; added a simproc that deals with freshness of functions

nominal2