| Tue, 05 Sep 2000 18:50:52 +0200 | wenzelm | improved add_rules; | changeset | files |
| Tue, 05 Sep 2000 18:50:30 +0200 | wenzelm | removed 'other' modifier; | changeset | files |
| 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 |
| Tue, 05 Sep 2000 18:47:27 +0200 | wenzelm | removed Add_recdef_congs [map_cong] (see Main.thy); | changeset | files |
| Tue, 05 Sep 2000 18:47:03 +0200 | wenzelm | tuned setup; | changeset | files |
| Tue, 05 Sep 2000 18:46:36 +0200 | wenzelm | iff declarations moved to clasimp.ML; | changeset | files |
| Tue, 05 Sep 2000 18:45:51 +0200 | wenzelm | added not; | changeset | files |
| Tue, 05 Sep 2000 18:45:09 +0200 | wenzelm | simplified PG/X-Symbol intro; | changeset | files |