# isabelle_session_info

session_name: JNF-HOL-Lib
output_heap: 1c4b8fc0b964f3badfaf608717509309386f6979
sources:
0fba804d67c28bcd7ee026f11ca5863180994c97
55040488ab9f1f3b4d5f57c88e8f8ca04a8e9158
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
662e2c93275b3f9c97faea279c1f2e9b30a29203
7c89c7fd450bc26883d6ceac86a15ae9969a8ac5


