# isabelle_session_info

session_name: HOL-Isar_Examples
sources: 4bf39969344a925813d1817646b9c2087a52252a
input_heaps:
ccfe400cf73fd62fd12acb34409977712e22d6e5
10dc6874cfc163bd3ebe399c64a6eed2318ef64b
25b90743d1281bfd1bba7e3f4d92443f81c8b32c
3f4049acc186e4dbef3ade96d1d0c7419f33935c


