src/HOL/Library/multiset_simprocs_util.ML
Sun, 18 Sep 2016 11:31:19 +0200 fleury support replicate_mset in multiset simproc
Sun, 18 Sep 2016 11:31:18 +0200 fleury tuning multiset simproc
Mon, 12 Sep 2016 09:29:25 +0200 fleury more robust multiset simproc
Mon, 05 Sep 2016 15:47:50 +0200 fleury add_mset constructor in multisets
less more (0) tip