# isabelle_session_info

session_name: HOL-ex
sources: 9a42bc567d342a6f3f1fd67e5f959e29110443a8
input_heaps:
e1147b3c6964ee34a73b496090d81315eabf9592
847a90305910414ab70d1b8a07a746397a90c4f0
80b0d7e17f3fac60542e792911684c5a0bfbeca3
4f59fbe0c025d8c65e78519fecacdd2d99a77c35
c602cc55b32219106bc7f68245d060212b7540f3


