# isabelle_session_info

session_name: HOL-Prolog
input_heaps: 30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
sources:
04c5e75837dad9a0cfdbfc0bbbd2a7573a8bfed1
76c5e5860b5cd96f7befd6e699306c6fb0010c82
7fb38cfb7c6e747209c76591e34b6ce6e95d3659
9dee5da06bf66d29a2837f62787b49573df8ee39
ce88b0120965d6eec9249f48907c64cd1c280e95
f60439e1b374da1322fc7fd5fcd83a7702ef8399


