Nominal/NewParser.thy
2010-07-07 Christian Urban more on the paper
2010-06-28 Christian Urban more quotient-definitions
2010-06-28 Christian Urban slight cleaning
2010-06-27 Christian Urban fixed according to changes in quotient
2010-06-24 Christian Urban added definition of the quotient types
2010-06-23 Christian Urban deleted compose-lemmas in Abs (not needed anymore)
2010-06-23 Christian Urban deleted equivp_hack
2010-06-22 Christian Urban proved eqvip theorems for alphas
2010-06-22 Christian Urban cleaned up the FSet (noise was introduced by error)
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 work on transitivity proof
2010-06-03 Christian Urban fixed problem with eqvt proofs
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 intermediate state
2010-05-26 Christian Urban merged
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-24 Christian Urban added slides
2010-05-24 Christian Urban tuned
2010-05-24 Christian Urban tuned
2010-05-24 Christian Urban alpha works now
2010-05-23 Christian Urban started to work on alpha
2010-05-22 Christian Urban properly exported bn_descr
2010-05-21 Christian Urban hving a working fv-definition without the export
2010-05-21 Christian Urban tuned
less more (0) -50 -30 tip