| Thu, 24 May 2007 14:04:06 +0200 | narboux | fix a bug : the semantics of no_asm was the opposite | changeset | files |
| 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 |