| Mon, 20 Sep 2021 10:22:59 +0200 | desharna | proper firstorderization in Sledgehammer | changeset | files |
| Sun, 19 Sep 2021 21:55:11 +0200 | wenzelm | clarified signature; | changeset | files |
| Sun, 19 Sep 2021 21:47:10 +0200 | wenzelm | clarified antiquotations; | changeset | files |
| Sun, 19 Sep 2021 21:37:14 +0200 | wenzelm | clarified signature -- prefer antiquotations (with subtle change of exception content); | changeset | files |
| Sun, 19 Sep 2021 21:35:51 +0200 | wenzelm | more control symbols; | changeset | files |
| Sun, 19 Sep 2021 21:14:14 +0200 | wenzelm | support ML antiquotations with fn abstraction; | changeset | files |
| Sun, 19 Sep 2021 20:47:16 +0200 | wenzelm | unused; | changeset | files |
| Thu, 16 Sep 2021 18:59:59 +0200 | wenzelm | clarified operations: follow Isabelle/ML more closely; | changeset | files |