Nominal/Abs.thy
2010-03-11 Cezary Kaliszyk Do not fail if the finite support proof fails.
2010-03-11 Christian Urban generalised the supp for atoms to all concrete atoms (not just names)
2010-03-11 Christian Urban support of atoms at the end of Abs.thy
2010-03-11 Christian Urban finally the proof that new and old alpha agree
2010-03-10 Christian Urban almost done with showing the equivalence between old and new alpha-equivalence (one subgoal remaining)
2010-03-04 Christian Urban more proofs in Abs and work on Core Haskell
2010-03-03 Christian Urban added a lemma that permutations can be represented as sums of swapping
2010-03-03 Christian Urban added ACM style file for ICFP
2010-03-02 Christian Urban added some more examples from Peter Sewell's bestiary
2010-03-02 Christian Urban merged
2010-03-02 Christian Urban added distinctness of perms
2010-03-02 Cezary Kaliszyk Fix equivp.
2010-03-02 Cezary Kaliszyk Fixed eqvt code.
2010-02-25 Christian Urban merged
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip