Nominal/Ex/Lambda_add.thy
2011-04-06 Christian Urban changed default preprocessor that does not catch variables only occuring on the right
2011-03-02 Cezary Kaliszyk distinct names at toplevel
2011-03-02 Cezary Kaliszyk Pairing function
2011-02-17 Cezary Kaliszyk Finished the proof of a function that invents fresh variable names.
less more (0) tip