| Sat, 14 Jun 2008 17:26:07 +0200 | wenzelm | removed exotic 'token_translation' command; | changeset | files |
| Sat, 14 Jun 2008 15:58:36 +0200 | wenzelm | proper name for LinearQuantifierElim; | changeset | files |
| 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 |