| Thu, 24 May 2007 13:59:54 +0200 | urbanc | temporary fix for a bug in fresh_fun_simp | changeset | files |
| Thu, 24 May 2007 12:09:38 +0200 | urbanc | formalisation of my PhD (the result was correct, but the proof needed several corrections) | changeset | files |
| Thu, 24 May 2007 12:00:47 +0200 | narboux | add an option in fresh_fun_simp to prevent rewriting in assumptions | changeset | files |