| Fri, 18 Apr 2008 23:49:40 +0200 | wenzelm | modernized specifications and proofs; | changeset | files |
| Fri, 18 Apr 2008 09:44:16 +0200 | haftmann | improved definition of upd | changeset | files |
| Thu, 17 Apr 2008 22:28:56 +0200 | wenzelm | * Context-dependent token translations. | changeset | files |
| Thu, 17 Apr 2008 22:22:30 +0200 | wenzelm | revert_skolem: do not change non-reversible names; | changeset | files |
| Thu, 17 Apr 2008 22:22:28 +0200 | wenzelm | print_statement: reset body mode, i.e. invent global frees (no need for revert_skolem); | changeset | files |
| Thu, 17 Apr 2008 22:22:27 +0200 | wenzelm | no_vars: reset body mode, i.e. invent global frees (which are acceptable to Variable.auto_fixes); | changeset | files |
| Thu, 17 Apr 2008 22:22:26 +0200 | wenzelm | variant_fixes: preserve internal state, mark skolem only for body mode; | changeset | files |