Fri, 27 Mar 2020 12:13:39 +0100 | wenzelm | clarified signature: more accurate session_base_info.sessions_structure; | changeset | files |
Fri, 27 Mar 2020 12:03:20 +0100 | wenzelm | clarified signature; | changeset | files |
Fri, 27 Mar 2020 12:28:05 +0100 | nipkow | added lemma | changeset | files |