2012-05-31 | Cezary Kaliszyk | Propagare changes from Nominal2_Base to _Exec | changeset | files |
2012-05-31 | Christian Urban | renamed fresh_fun to Fresh; added a simproc that deals with freshness of functions | changeset | files |
2012-05-28 | Christian Urban | added library routines for the constant fresh | changeset | files |
2012-05-25 | Christian Urban | fixed bug in simproc (also in the exec-version) | changeset | files |
2012-05-24 | Cezary Kaliszyk | Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle | changeset | files |
2012-05-23 | Christian Urban | improved handling in the simplifier for inequalities derived from freshness assumptions | changeset | files |
2012-05-22 | Cezary Kaliszyk | Executing Lambda Terms | changeset | files |
Loading... |