# isabelle_session_info

session_name: MonoidalCategory
sources: 6ce04b79f05f369f4bb077fd2e3d630cff937d43
output_heap: e44349cea2cf51ab2ebc404053d8a0c73751efbf
uuid: 569695c6-615d-4599-b9df-f68fb3e6587d
input_heaps:
e80e18c8b52d6756a3f6acd32213211b5a8b456e
f79cd4de26099ba564b35da188ad163326fc635c
8abcd69af89670c7a37ad87e3cb6e75506b84527
4e3fb82f383574be5548ada22d2919f4f9b206dd


