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 |
Thu, 24 May 2007 08:37:43 +0200 | haftmann | fixes tvar issue in type inference | changeset | files |