# isabelle_session_info

session_name: Bicategory
sources: 3490773db03fbf4f6114771bbf0fb23ed6fd2a3b
input_heaps:
ddac2b5ec5b65da1b8b70ee1f826bc68a3a90672
30153c358506b8c6cf9900427066fbc55c1a434e
cb57537270ea0454091f0c0dc42147960d290bd8
90a958e65514f40fda9359bfda88fbbab67d1c36
9e025d0c8edaed08cf95208c161723edde03b077


