# isabelle_session_info

session_name: MonoidalCategory
sources: 0659c8fc5555ed9b3b7bf9342f308d84e86d84c5
output_heap: 522ed5b460b3c4e6be8fc2c76ca3052c4d21d314
input_heaps:
0997116ddc7e2096ce248554452797db911cb899
8ee7fb85b07f447bd51087ae25949e0c53166d7a
4aa7a5d82beaa9666066f43f2196ca5f5b9604b9
2bed0d3a3761b8854e2aafab491a633248d74133


