# isabelle_session_info

session_name: HOL-ex
sources: 82847d1fb98d7b93381631adc160b53f85ed71a5
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
2b4187bc161d3676c7ecb02018a49967dc6a5fb4
25b9df82f9955898de3fa6be4e7432b8649fbd60
3b4b4317d9175126e83042e8b14a3cad63f66e17
f7ecd4fc3698ab628572f58b0dd7aed2914249ee


