Nominal/Ex/SFT/Consts.thy
2012-05-24 Cezary Kaliszyk Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle
2011-12-21 Cezary Kaliszyk SFT/LambdaTerms: rename 'var' to 'name' to match Lambda.
2011-12-21 Cezary Kaliszyk SFT: Rename Lambda to LambdaTerms, rename constants to match Lambda, remove smt proofs.
2011-07-24 Cezary Kaliszyk update to 'termination (eqvt)'.
2011-06-24 Cezary Kaliszyk Make examples work with non-precompiled image
2011-06-24 Cezary Kaliszyk Second Fixed Point Theorem
less more (0) tip