# isabelle_session_info

session_name: HOL-ex
sources: 2e151d15b29652f6a98d5f8ee23e793d11b33db3
uuid: 426854d0-a1c7-40cf-83d7-0f85f4479d1e
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
80665f2658fe53539a5683772d98204946a709bc
6c6becca9ca8e44969dad16eeb1ed567020f8e9d
29e1da64e65ce6aea8a40d76a594ab7e20fe745e


