# isabelle_session_info

session_name: MonoidalCategory
sources:
3fcc8147b48044bb1fd80782b67e472962e95b23
695f63d42d97b846d200506d1e7ec0451b257736
7e78e5109b3d16596047784b44d7bbc0cd45d4f6
d2e10594adb3247e69301626810223bf245b5c00
ddcacc19d21c53eb4e40cb2c583d232c777e91bf
fa67b0bdc9b3db879d46400e77afd6fd5343935d

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
cb8dedd3c05671b21a0ee9afc125a2ac7ecafcf5


