| Wed, 10 May 2023 20:30:46 +0200 | wenzelm | more informative position information; | changeset | files |
| Wed, 10 May 2023 19:30:17 +0200 | wenzelm | clarified context tracing; | changeset | files |
| Wed, 10 May 2023 16:05:14 +0200 | wenzelm | more operations; | changeset | files |
| Wed, 10 May 2023 15:43:49 +0200 | wenzelm | proper system options to control context tracing/timing; | changeset | files |
| Wed, 10 May 2023 08:59:44 +0200 | desharna | added lemmas transp_on_multpHO and transp_multpHO | changeset | files |
| Wed, 10 May 2023 08:56:32 +0200 | desharna | tuned theory structure | changeset | files |
| Wed, 10 May 2023 08:20:53 +0200 | desharna | merged | changeset | files |
| Tue, 09 May 2023 22:00:36 +0200 | desharna | added lemmas Finite_Set.bex_(min|max)_element_with_property and reordered assumptions of Finite_Set.bex_(min|max)_element | changeset | files |