Packaging mathematical structures

Published in In the proceedings of International Conference on Theorem Proving in Higher Order Logics, 2009