| Sun, 08 Apr 2007 18:35:19 +0200 | huffman | rearranged sections | changeset | files |
| Sun, 08 Apr 2007 17:54:52 +0200 | huffman | remove redundant lemmas | changeset | files |
| Sat, 07 Apr 2007 18:54:30 +0200 | krauss | removed obsolete workarounds | changeset | files |
| Sat, 07 Apr 2007 12:40:32 +0200 | urbanc | deleted remaining instances of swap_simp_a and swap_simp_b (obsolete now) | changeset | files |
| 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 |