# isabelle_session_info

session_name: HOL-ex
sources: 5e6763c34c5f1a1a4e8c1d8f4493b9c297ac6430
input_heaps:
49fe4d0140f29b61cf1407e8018459339b5bee72
18021962fea9fbcbf99b9a3117b48e25bbf47f7e
574aaf06644e5a75b8b5b57bfd3c5bde518a6675
315580fea37262e12fba8b69753297efb465ea93
5b2601bccebaa48e857f796f08571ef3dbd5e7f9


