# isabelle_session_info

session_name: MonoidalCategory
sources: 19b8945cac0ea637dc3ae36153f349b90496e8e2
output_heap: d2a1c0c6e38317d85ed2d1a34b90c9e9d2fc7d06
input_heaps:
bf7b58a3abd9aad2c201e71c33ca4f749f4146b5
ad4297445c0b6027cf95e560b2c3511bbbfc1d62
f3cb164b6c5b6f43886923c98ffd6b49d41fa073
faaac920a6d638a5850d1cd377030ae43ded1ffc


