src/HOL/Nominal/nominal_fresh_fun.ML
2007-05-24 narboux 2007-05-24 add an option in fresh_fun_simp to prevent rewriting in assumptions
2007-05-21 narboux 2007-05-21 search bottom up to get the inner fresh fun
2007-05-21 narboux 2007-05-21 change fresh_fun_simp to treat occurences in assumptions and try to solve the generated subgoals
2007-04-25 narboux 2007-04-25 fix sml compilation
2007-04-24 narboux 2007-04-24 update fresh_fun_simp for debugging purposes
2007-04-24 narboux 2007-04-24 adds op in front of an infix to fix SML compilation
2007-04-20 narboux 2007-04-20 modify fresh_fun_simp to ease debugging
2007-04-19 narboux 2007-04-19 add a tactic to generate fresh names