# isabelle_session_info

session_name: MonoidalCategory
sources: 4b8a50e61deab0eac678e0b58185c3a512792945
output_heap: 59803cf1ccae73dbba179680a20fae937c68f465
input_heaps:
26949f38b2066eeb70023a23ab5caf0b930a3a6a
eed6e14c5bd038e1039b7805ff38178942babb11
ae37f56774415b0e51772930a07d34713367be39
fdc0ccf14142cf327ab11617cc1942b1f07b0dde


