| Sat, 28 Jan 2006 17:28:57 +0100 | wenzelm | added print_consts; | changeset | files |
| Sat, 28 Jan 2006 17:28:56 +0100 | wenzelm | removed obsolete keyword 'files'; | changeset | files |
| Sat, 28 Jan 2006 17:28:55 +0100 | wenzelm | (un)folded: support object-level rewrites; | changeset | files |
| Sat, 28 Jan 2006 17:28:54 +0100 | wenzelm | added equals_cong; | changeset | files |