Tue, 08 Mar 2016 21:07:46 +0100 | haftmann | syntax for multiset membership modelled after syntax for set membership | file | diff | annotate |
Mon, 07 Mar 2016 23:20:11 +0100 | blanchet | made 'size' plugin compatible with locales again (and added regression test) | file | diff | annotate |
Sat, 05 Mar 2016 23:05:07 +0100 | wenzelm | NEWS after Isabelle2016; | file | diff | annotate |