# isabelle_session_info

session_name: MonoidalCategory
sources: 2ccb3e373b2b5693ffea18660a461c7f1b27d5a0
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa
919229a633f1e9af44940ffc7f0a9037ad512487


