| 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 |
| Wed, 27 May 2020 20:02:02 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 27 May 2020 16:43:34 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 27 May 2020 16:09:25 +0200 | wenzelm | more NEWS; | changeset | files |
| Wed, 27 May 2020 16:05:17 +0200 | wenzelm | more documentation on Isabelle/Scala; | changeset | files |
| Wed, 27 May 2020 16:04:53 +0200 | wenzelm | proper error positions; | changeset | files |
| Wed, 27 May 2020 15:51:10 +0200 | wenzelm | tuned; | changeset | files |