Nominal/Ex/SingleLet.thy
2010-07-27 Christian Urban fixed order of fold_union to make alpha and fv agree
2010-07-25 Christian Urban added paper by james; some minor cleaning
2010-07-17 Christian Urban tests
2010-07-16 Christian Urban more on the paper
2010-07-14 Christian Urban more on the paper
2010-06-28 Christian Urban more quotient-definitions
2010-06-28 Christian Urban slight cleaning
2010-06-24 Christian Urban added definition of the quotient types
2010-06-23 Christian Urban merged cezary's changes
2010-06-23 Cezary Kaliszyk Un-do the second change to SingleLet.
2010-06-23 Cezary Kaliszyk merge
2010-06-23 Cezary Kaliszyk Changes for PER and list_all2 committed to Isabelle
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-21 Christian Urban merged with main line
2010-06-11 Christian Urban also symmetry
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-02 Christian Urban fixed problem with bn_info
2010-06-01 Christian Urban equivariance done
2010-06-01 Christian Urban smaller code for raw-eqvt proofs
2010-05-31 Christian Urban all raw definitions are defined using function
2010-05-27 Christian Urban merged
2010-05-27 Christian Urban intermediate state
2010-05-24 Christian Urban added slides
2010-05-24 Christian Urban alpha works now
2010-05-23 Christian Urban started to work on alpha
less more (0) -28 tip