Thu, 24 May 2007 12:00:47 +0200 | narboux | add an option in fresh_fun_simp to prevent rewriting in assumptions | file | diff | annotate |
Mon, 21 May 2007 19:14:12 +0200 | narboux | search bottom up to get the inner fresh fun | file | diff | annotate |
Mon, 21 May 2007 16:19:56 +0200 | narboux | change fresh_fun_simp to treat occurences in assumptions and try to solve the generated subgoals | file | diff | annotate |
Wed, 25 Apr 2007 15:38:56 +0200 | narboux | fix sml compilation | file | diff | annotate |
Tue, 24 Apr 2007 18:06:04 +0200 | narboux | update fresh_fun_simp for debugging purposes | file | diff | annotate |
Tue, 24 Apr 2007 14:01:23 +0200 | narboux | adds op in front of an infix to fix SML compilation | file | diff | annotate |
Fri, 20 Apr 2007 14:30:35 +0200 | narboux | modify fresh_fun_simp to ease debugging | file | diff | annotate |
Thu, 19 Apr 2007 16:27:53 +0200 | narboux | add a tactic to generate fresh names | file | diff | annotate |