# isabelle_session_info

session_name: HOL-ex
sources: 46ab9f0530fac75c41759758a8f4816a8e5629d6
input_heaps:
681d5f7fc3e04aaa1f2e7e53f290c7539f21d962
760f5e67e9493faf5a17920ca125cc8fad05353b
91ecd66eb993ad7f2f4dcea6b812a916f274f32f
b92651b47650004f741835e1473791a09d660191
49af131c565e38dba4860d3ada086688ee02e3a0


