| Sat, 19 Apr 2008 12:31:07 +0200 | wenzelm | updated generated file; | changeset | files |
| Sat, 19 Apr 2008 12:04:17 +0200 | wenzelm | NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name; | changeset | files |
| Fri, 18 Apr 2008 23:58:04 +0200 | wenzelm | removed dead code; | changeset | files |
| Fri, 18 Apr 2008 23:49:46 +0200 | wenzelm | print_cases: proper context for revert_skolem; | changeset | files |
| Fri, 18 Apr 2008 23:49:44 +0200 | wenzelm | tuned; | changeset | files |
| 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 |