| Thu, 28 Oct 2021 06:39:36 +0000 | haftmann | moved generic implementation into HOL-Main | changeset | files |
| Fri, 29 Oct 2021 00:01:14 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Oct 2021 23:44:31 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Oct 2021 23:37:53 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Thu, 28 Oct 2021 21:28:52 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Thu, 28 Oct 2021 20:38:21 +0200 | wenzelm | discontinued somewhat pointless antiquotations; | changeset | files |
| Thu, 28 Oct 2021 20:32:40 +0200 | wenzelm | NEWS; | changeset | files |
| Thu, 28 Oct 2021 20:09:37 +0200 | wenzelm | clarified antiquotations, assuming that Drule.instantiate_normalize was merely a historical relic; | changeset | files |
| Thu, 28 Oct 2021 20:06:29 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Thu, 28 Oct 2021 20:05:18 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Thu, 28 Oct 2021 20:04:06 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Thu, 28 Oct 2021 20:01:59 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Thu, 28 Oct 2021 18:37:33 +0200 | wenzelm | support for "lemma"; | changeset | files |
| Thu, 28 Oct 2021 13:20:45 +0200 | wenzelm | tuned; | changeset | files |