| Thu, 15 Oct 2009 22:06:43 +0200 | ballarin | Observe order of declaration when printing registrations. | changeset | files |
| Sat, 17 Oct 2009 22:35:28 +0200 | wenzelm | disable sunbroy2 for now; | changeset | files |
| Sat, 17 Oct 2009 22:34:19 +0200 | wenzelm | tuned/moved divide_and_conquer'; | changeset | files |
| Sat, 17 Oct 2009 21:14:08 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 17 Oct 2009 20:37:38 +0200 | wenzelm | removed separate record_quick_and_dirty_sensitive; | changeset | files |
| Sat, 17 Oct 2009 20:15:59 +0200 | wenzelm | simplified tactics; | changeset | files |
| Sat, 17 Oct 2009 19:04:35 +0200 | wenzelm | eliminated old List.foldr and OldTerm operations; | changeset | files |
| Sat, 17 Oct 2009 18:14:47 +0200 | wenzelm | removed unused names; | changeset | files |