# isabelle_session_info

session_name: HOL-ex
sources: cc39c0424dd0bffc263a63a3ff239ad81ccb4558
uuid: 2aef9afb-f3b2-4217-8fc5-f6f84a96dd5f
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
dbabd8842d5bee8fc352d42812406e1a1d4c39cd
fec8b72c744412e50383fda73d713fa865edd55e
c6d7f465ef8d5d915ebab832eebe2bece1282982


