# isabelle_session_info

session_name: HOL-Prolog
input_heaps: 7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16
sources:
04c5e75837dad9a0cfdbfc0bbbd2a7573a8bfed1
76c5e5860b5cd96f7befd6e699306c6fb0010c82
7fb38cfb7c6e747209c76591e34b6ce6e95d3659
9dee5da06bf66d29a2837f62787b49573df8ee39
ce88b0120965d6eec9249f48907c64cd1c280e95
f60439e1b374da1322fc7fd5fcd83a7702ef8399


