# isabelle_session_info

session_name: Bicategory
sources: b686e0f02dfd0d4e3833914e062a3f1ff7b02bee
input_heaps:
4ca3362a5f91b70446ae7f6f1750d75300ee80ae
7e0b005577bf911e8dc7d6bc2189cd97ccb150b5
fdf6c9dd88de505d54922d69e4002bcc38ee508f
c468ce05163946d64364c2fccdbbf412a97faea0
91b5936777940f2e2f63e254a0eb8ac7e0e8ab64


