| Tue, 05 Sep 2000 18:50:12 +0200 | wenzelm | added 'iff' declarations; | changeset | files |
| Tue, 05 Sep 2000 18:49:26 +0200 | wenzelm | recdef hints (attributes and modifiers); | changeset | files |
| Tue, 05 Sep 2000 18:49:02 +0200 | wenzelm | use 'iff' modifier; | changeset | files |
| Tue, 05 Sep 2000 18:48:41 +0200 | wenzelm | RecdefPackage.add_recdef_old; | changeset | files |
| Tue, 05 Sep 2000 18:48:22 +0200 | wenzelm | added not_const; | changeset | files |
| Tue, 05 Sep 2000 18:48:04 +0200 | wenzelm | improved recdef setup; | changeset | files |
| Tue, 05 Sep 2000 18:47:46 +0200 | wenzelm | lemmas [recdef_cong] = map_cong; | changeset | files |