| Thu, 21 Sep 2006 19:04:36 +0200 | wenzelm | Thm.dest_binop; | changeset | files |
| Thu, 21 Sep 2006 19:04:29 +0200 | wenzelm | member (op =); | changeset | files |
| Thu, 21 Sep 2006 19:04:20 +0200 | wenzelm | member (op =); | changeset | files |
| Thu, 21 Sep 2006 19:04:12 +0200 | wenzelm | updated timings; | changeset | files |
| Thu, 21 Sep 2006 17:39:57 +0200 | paulson | new function hashw_int | changeset | files |
| Thu, 21 Sep 2006 17:33:11 +0200 | paulson | Yet another version of fake_thm_name. "Full" hashing ensures that there are no collisions | changeset | files |
| Thu, 21 Sep 2006 17:31:10 +0200 | paulson | corrected for the translation from _ to __ in c_COMBx_e | changeset | files |