# isabelle_session_info

session_name: HOL-ex
sources: ac5ae74da63e5eff87eaeeaa7656fb91ce7eec4f
input_heaps:
59cfb008d82973f70adacd49cb832067f1ce6d0d
1b0de3ee83d720f252fb261525717bc582dfd961
3db8bef0ba6cbf368c1c26fea82a72ed95238bb5
3eff8132b933a53290b56d991b209627a6750e09
66a12f12741a5caadbd5a5466fbc81f14a127777


