# isabelle_session_info

session_name: HOL-ex
sources: 106f7c593c164021a54e9450076188f413fd3f60
input_heaps:
345ae181c538e4194d592676e06efaf9bde7d260
419c2b8ad3cf3be96922e0b34d91da2c6de0eb9b
e394185f15307ff36f612824af64dd26d585bb07
f905375433fea54ded9481cd7ee4b9462b212155
924fd27d429098fffe3951ee0fb1c8bede783e0d


