| Fri, 13 Jun 2008 21:04:43 +0200 | wenzelm | hide: delete all accesses from extra names -- reduces ambiguity in extern; | changeset | files |
| Fri, 13 Jun 2008 21:04:42 +0200 | wenzelm | map_const: soft version, no failure here; | changeset | files |
| Fri, 13 Jun 2008 21:04:12 +0200 | wenzelm | skolem_fact/thm: uniform numbering, even for singleton list; | changeset | files |
| Fri, 13 Jun 2008 21:04:10 +0200 | wenzelm | hide (open); | changeset | files |