# isabelle_session_info

session_name: HOL-Prolog
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
76c5e5860b5cd96f7befd6e699306c6fb0010c82
7fb38cfb7c6e747209c76591e34b6ce6e95d3659
9dee5da06bf66d29a2837f62787b49573df8ee39
ce88b0120965d6eec9249f48907c64cd1c280e95
e6e0949af8f697b19cb96a17bd752e3c9aae5259
f60439e1b374da1322fc7fd5fcd83a7702ef8399


