# isabelle_session_info

session_name: HOL-ex
sources: fea8ca4d20f18fe6350803ea38da0940dd1b597e
input_heaps:
38c951d9fd14e9e40ee7e0e1341b1730469e572d
21de88f4fc30aad8e5a02ae7480f072f8599a03f
c28ddcc6da1a140e9b978c8c816c82ac157f7d4f
0e206046a1f7bc2a833a67958dd8766fd9b1d4b8
1709ee6046cf4b65d497e91962d3992c6089a8c4


