| Fri, 25 May 2007 06:06:49 +0200 | urbanc | adapted to fix for fresh_fun_simp | file | diff | annotate |
| Thu, 24 May 2007 13:59:54 +0200 | urbanc | temporary fix for a bug in fresh_fun_simp | file | diff | annotate |
| Thu, 24 May 2007 12:09:38 +0200 | urbanc | formalisation of my PhD (the result was correct, but the proof needed several corrections) | file | diff | annotate |