Nominal/Term1.thy
2010-03-02 Cezary Kaliszyk Fixed eqvt code.
2010-03-01 Cezary Kaliszyk Trying to prove equivariance.
2010-02-26 Christian Urban generated the "binding list" from the input; at the moment it is only printed out as tracing; does not yet include the "bind itself binders"
2010-02-26 Cezary Kaliszyk Change in signature of prove_const_rsp for general lifting.
2010-02-26 Cezary Kaliszyk Permutation and FV_Alpha interface change.
2010-02-25 Cezary Kaliszyk Preparing the generalized lifting procedure
2010-02-25 Cezary Kaliszyk Split Terms into separate files and add them to tests.
less more (0) tip