| Wed, 30 Aug 2017 18:35:23 +0200 | nipkow | added lemma | file | diff | annotate |
| Tue, 13 Sep 2016 11:31:30 +0200 | nipkow | reorganization, more funs and lemmas | file | diff | annotate |
| Tue, 28 Jul 2015 13:00:54 +0200 | nipkow | depth -> height; removed del_rightmost (too specifi) | file | diff | annotate |
| Fri, 19 Jun 2015 15:55:22 +0200 | nipkow | renamed multiset_of -> mset | file | diff | annotate |
| Wed, 17 Jun 2015 20:22:01 +0200 | nipkow | merged | file | diff | annotate |
| Wed, 17 Jun 2015 20:21:40 +0200 | nipkow | added funs and lemmas | file | diff | annotate |
| Wed, 17 Jun 2015 17:54:09 +0200 | wenzelm | manual merge; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Wed, 17 Jun 2015 17:21:11 +0200 | nipkow | renamed Multiset.set_of to the canonical set_mset | file | diff | annotate |
| Mon, 06 Apr 2015 15:23:50 +0200 | nipkow | new theory Library/Tree_Multiset.thy | file | diff | annotate |