| Sat, 07 Apr 2007 11:36:35 +0200 | urbanc | tuned slightly the previous commit | changeset | files |
| Sat, 07 Apr 2007 11:05:25 +0200 | narboux | perm_simp can now simplify using the rules (a,b) o a = b and (a,b) o b = a | changeset | files |
| Fri, 06 Apr 2007 01:26:30 +0200 | huffman | add new standard proofs for limits of sequences | changeset | files |