# isabelle_session_info

session_name: Bicategory
sources: 71d8f2a843c419c029ec858695cb033450c2c5a2
input_heaps:
724c7f3ae9a8a6f3fa9668fe696b47388a7b8b71
cda097f0bf3ea97322e944a342d133a31abdd0f6
f8069d641caca39396cd478c12942ccf37b11545
85be13f372bc65321ceda53e578e663f256f1075
e35a854b71c6237a9ef77525869903c0cb734554


