# isabelle_session_info

session_name: MonoidalCategory
sources: f75ff4ec34fe90943e1d005f1147fdff6f0d9ec0
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480
ce0609e5f1951d4bef5f32de5e506e68657b79ff


