| Tue, 21 Sep 2021 00:20:47 +0200 | wenzelm | bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax; | file | diff | annotate |
| Tue, 04 Apr 2017 11:52:28 +0200 | wenzelm | proper imports; | file | diff | annotate |
| Mon, 17 Oct 2016 11:46:22 +0200 | nipkow | setsum -> sum | file | diff | annotate |
| Tue, 12 Jul 2016 15:45:32 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Fri, 08 Jul 2016 23:43:11 +0200 | haftmann | default rule for single-step reasoning | file | diff | annotate |
| Mon, 04 Jul 2016 19:46:20 +0200 | haftmann | combinator to build partial equivalence relations from a predicate and an equivalenc relation | file | diff | annotate |