Slides/SlidesA.thy
2012-02-17 Christian Urban added fs and pt for multisets
less more (0) tip