| Fri, 17 Jan 2025 15:39:40 +0100 | wenzelm | clarified inst_type: more direct Thm.instantiate_frees; | changeset | files |
| Fri, 17 Jan 2025 14:47:25 +0100 | wenzelm | more direct Thm.free: avoid re-certification; | changeset | files |
| Fri, 17 Jan 2025 14:31:48 +0100 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Fri, 17 Jan 2025 13:44:45 +0100 | wenzelm | tuned names; | changeset | files |
| Fri, 17 Jan 2025 13:04:34 +0100 | wenzelm | tuned names; | changeset | files |
| Fri, 17 Jan 2025 13:00:39 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 17 Jan 2025 12:50:46 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 17 Jan 2025 12:46:50 +0100 | wenzelm | tuned signature; | changeset | files |