| Wed, 31 Mar 2021 18:18:03 +0200 | nipkow | new automatic order prover: stateless, complete, verified | file | diff | annotate |
| Sun, 10 Jan 2021 15:32:28 +0100 | wenzelm | avoid Unicode quotes; | file | diff | annotate |
| Fri, 08 Jan 2021 19:53:44 +0100 | Manuel Eberl | HOL-Data_Structures: added Selection and time functions for list functions | file | diff | annotate |