Tue, 17 May 2016 17:05:35 +0200 | eberlm | Moved material from AFP/Randomised_Social_Choice to distribution | file | diff | annotate |
Tue, 17 May 2016 11:16:39 +0200 | hoelzl | Library: add partition_on | file | diff | annotate |
Mon, 04 Apr 2016 16:52:56 +0100 | paulson | Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results | file | diff | annotate |
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 |