Nominal/Ex/SingleLet.thy
2010-05-20 Christian Urban new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
2010-06-20 Christian Urban fixed example
2010-06-07 Christian Urban improved abstract, some tuning
2010-05-27 Christian Urban fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
2010-05-17 Christian Urban minor tuning
2010-05-12 Christian Urban fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy
2010-05-12 Christian Urban moved the data-transformation into the parser
less more (0) -10 -7 tip