| Sat, 14 Jun 2008 15:56:52 +0200 | wenzelm | removed old theorem database; | changeset | files |
| Fri, 13 Jun 2008 21:04:44 +0200 | wenzelm | map_const: soft version, no failure here (recovers hiding of consts, because a hidden name is illegal and rejected later); | changeset | files |
| 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 |
| Fri, 13 Jun 2008 21:04:09 +0200 | wenzelm | no_notation instead of hide; | changeset | files |
| Fri, 13 Jun 2008 21:04:07 +0200 | wenzelm | * Recovered hiding of consts; | changeset | files |