Nominal-General/nominal_eqvt.ML
2010-06-07 Christian Urban work on transitivity proof
2010-06-01 Christian Urban equivariance done
2010-05-21 Cezary Kaliszyk Renamings
2010-05-12 Christian Urban added a test whether some of the constants already equivariant (then the procedure has to fail).
2010-05-12 Christian Urban better ML-interface (returning only a list of theorems and a context)
2010-05-12 Christian Urban ingnored parameters in equivariance; added a proper interface to be called from ML
2010-05-09 Christian Urban fixed the problem with alpha containing splits
2010-05-06 Cezary Kaliszyk Fixes for new isabelle
2010-05-05 Christian Urban solved the problem with equivariance by first eta-normalising the goal
2010-04-25 Christian Urban tuned
2010-04-16 Christian Urban automatic proofs for equivariance of alphas
2010-04-16 Christian Urban some tuning of eqvt-infrastructure
2010-04-14 Christian Urban tuned and removed dead code
2010-04-14 Christian Urban added a library for basic nominal functions; separated nominal_eqvt file
less more (0) tip