| Thu, 13 Jul 2006 17:39:56 +0200 | paulson | "conjecture" must be lower case | changeset | files |
| Thu, 13 Jul 2006 13:42:05 +0200 | wenzelm | tuned insert_list; | changeset | files |
| Thu, 13 Jul 2006 13:42:02 +0200 | wenzelm | Name.context already declares empty names; | changeset | files |
| Thu, 13 Jul 2006 13:42:00 +0200 | wenzelm | strip_abs_eta: proper use of Name.context; | changeset | files |