| Fri, 20 Apr 2007 16:11:17 +0200 | berghofe | Modified eqvt_tac to avoid failure due to introduction rules | changeset | files |
| Fri, 20 Apr 2007 15:13:06 +0200 | haftmann | clarifed | changeset | files |
| Fri, 20 Apr 2007 14:30:35 +0200 | narboux | modify fresh_fun_simp to ease debugging | changeset | files |