Quot/Nominal/Terms.thy
2010-02-03 Cezary Kaliszyk Starting with a let-rec example.
2010-02-03 Cezary Kaliszyk Some cleaning and eqvt proof
2010-02-03 Cezary Kaliszyk The trm1_support lemma explicitly and stated a strong induction principle.
2010-02-03 Cezary Kaliszyk More ingredients in Terms.
2010-02-02 Cezary Kaliszyk Finished the supp_fv proof; first proof that analyses the structure of 'Let' :)
2010-02-02 Cezary Kaliszyk More in Terms
2010-02-02 Cezary Kaliszyk First experiments in Terms.
2010-01-28 Christian Urban minor
2010-01-27 Christian Urban completely ported
2010-01-27 Christian Urban mostly ported Terms.thy to new Nominal
2010-01-27 Christian Urban added Terms to Nominal - Instantiation of two types does not work (ask Florian)
less more (0) tip