Nominal/Ex/CoreHaskell.thy
2010-08-14 Christian Urban improved code
2010-08-11 Christian Urban added a function that transforms the helper-rsp lemmas into real rsp lemmas
2010-06-28 Christian Urban more quotient-definitions
2010-06-24 Christian Urban added definition of the quotient types
2010-06-22 Christian Urban proved eqvip theorems for alphas
2010-06-22 Christian Urban prove that alpha implies alpha_bn (needed for rsp proofs)
2010-06-11 Christian Urban also symmetry
2010-06-10 Christian Urban premerge
2010-06-09 Christian Urban transitivity proofs done
2010-06-07 Christian Urban merged
2010-06-07 Christian Urban work on transitivity proof
2010-06-03 Christian Urban fixed problem with eqvt proofs
less more (0) -12 tip