# isabelle_session_info

session_name: HOL-ex
sources: 7d9a719e90798b9818fa5273bf72af7af1028630
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
58d60c16f10054013246b4c3dd110babc21c3c20
8ee86664d2052bdc76259b663865893d98ce66a5
bf417492f92b7be1237b799f2415fd52f9d460a3


