| Wed, 03 May 2006 03:46:25 +0200 | huffman | inverts and injects generated lemmas now take the form of rewrite rules, instead of dest rules | changeset | files |
| Wed, 03 May 2006 02:16:23 +0200 | urbanc | added lemma fresh_right, which is useful | changeset | files |
| Tue, 02 May 2006 20:42:43 +0200 | wenzelm | added the_theory; | changeset | files |
| Tue, 02 May 2006 20:42:42 +0200 | wenzelm | extend/remove_syntax: observe inout flag for translations, too; | changeset | files |
| Tue, 02 May 2006 20:42:41 +0200 | wenzelm | handle exception SYS_ERROR; | changeset | files |
| Tue, 02 May 2006 20:42:40 +0200 | wenzelm | abbreviation: observe local syntax mode; | changeset | files |