| Mon, 10 Jun 2024 20:23:42 +0200 | wenzelm | tuned signature: more exports; | changeset | files |
| Mon, 10 Jun 2024 14:53:54 +0200 | wenzelm | clarified signature: prefer internal Thm_Name.T over external Facts.ref; | changeset | files |
| Mon, 10 Jun 2024 14:29:33 +0200 | wenzelm | more robust / permissive; | changeset | files |
| Mon, 10 Jun 2024 14:05:39 +0200 | wenzelm | clarified signature: more operations; | changeset | files |
| Mon, 10 Jun 2024 14:04:52 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 Jun 2024 12:44:49 +0200 | wenzelm | clarified operations, following pretty_thm_name; | changeset | files |
| Mon, 10 Jun 2024 12:07:54 +0200 | wenzelm | more accurate treatment of Thm_Name.T; | changeset | files |
| Mon, 10 Jun 2024 21:32:24 +0200 | desharna | renamed lemmas | changeset | files |
| Mon, 10 Jun 2024 18:10:09 +0200 | desharna | merged | changeset | files |
| Mon, 10 Jun 2024 14:09:55 +0200 | desharna | renamed theorems | changeset | files |
| Mon, 10 Jun 2024 13:44:46 +0200 | desharna | renamed theorems | changeset | files |
| Mon, 10 Jun 2024 13:55:59 +0200 | Fabian Huch | add title; | changeset | files |