# isabelle_session_info

session_name: MonoidalCategory
sources: 94e2b49c44d673aefdd66b5b63d8e0965226ea20
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
d871d21db844b5c9f0d6d8f5752b75fd3bec4d28
f80a998462c6a06c8ce487419f0260b20c09fc35


