| Fri, 25 May 2007 00:36:54 +0200 | huffman | simplify some proofs | changeset | files |
| Thu, 24 May 2007 22:55:53 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 24 May 2007 16:52:54 +0200 | obua | Squared things out. | changeset | files |
| 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 |
| Thu, 24 May 2007 12:00:47 +0200 | narboux | add an option in fresh_fun_simp to prevent rewriting in assumptions | changeset | files |