| Thu, 04 Jun 2020 19:38:52 +0000 | haftmann | more theorems | changeset | files |
| Thu, 04 Jun 2020 19:38:50 +0000 | haftmann | avoid overaggressive default simp rules | changeset | files |
| Thu, 04 Jun 2020 15:30:22 +0000 | haftmann | activate simproc for FOL | changeset | files |
| Thu, 04 Jun 2020 15:30:22 +0000 | haftmann | more rules for FOL also | changeset | files |
| Thu, 04 Jun 2020 15:30:22 +0000 | haftmann | more simp rules | changeset | files |
| Wed, 03 Jun 2020 11:44:21 +0200 | nipkow | should have been copied across from Set.thy as well for better printing | changeset | files |
| Sat, 30 May 2020 11:48:35 +0000 | haftmann | specific atomization inert to later rule set modifications | changeset | files |
| Sat, 30 May 2020 11:48:28 +0000 | haftmann | more precise scope of atomize | changeset | files |
| Sat, 30 May 2020 08:50:18 +0000 | haftmann | install simproc but deactivate by default | changeset | files |
| Wed, 27 May 2020 21:02:44 +0200 | wenzelm | adapted to d25093536482; | changeset | files |
| Wed, 27 May 2020 20:51:25 +0200 | wenzelm | clarified markup; | changeset | files |
| Wed, 27 May 2020 20:38:59 +0200 | wenzelm | clarified signature; | changeset | files |