| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Thu, 10 Dec 2015 13:38:40 +0000 | paulson | not_leE -> not_le_imp_less and other tidying | file | diff | annotate |
| Thu, 16 Jul 2015 10:48:20 +0200 | hoelzl | move disjoint sets to their own theory | file | diff | annotate |