# isabelle_session_info

session_name: HOL-ex
sources: 743272e7c90277d6f1dca91134d530e6f56b1a60
input_heaps:
4e82e6c0bef1be82a2492fb5f5f1be25a3feffbc
e207e4cc91f8bd0aa5ea59721de9d4c9e38fdb88
2d42135619853543779e5678a8b6aff6fa304205
263f6c00a9a1446ff388af3540ddb9de2f5f74e5
c6f0b74be23ff01a90e293c19bb79a3b7a2133c7


