| 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 |