# isabelle_session_info

session_name: MonoidalCategory
sources:
3fcc8147b48044bb1fd80782b67e472962e95b23
597f3b6a7efdce9f7c92879997bd5b2a2db90f51
695f63d42d97b846d200506d1e7ec0451b257736
6c41e1309b855cab18da5234be952d7d09f06ea8
ddcacc19d21c53eb4e40cb2c583d232c777e91bf
fa67b0bdc9b3db879d46400e77afd6fd5343935d

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
459d56f0e08d82850fb4b084ccb89c0038439d0d


