| 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 |