# isabelle_session_info

session_name: JNF-HOL-Lib
output_heap: 8006df455d4c1a86741bfeda871fe6ac5d4dd79c
sources:
74f49211b644e81cf62a9cd750218637956d86d7
d8b591c052c85b1671e1d7822571568590dc3e35
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
86c7fd1199441702fd9498d93a1d3535f80efeef
57782fc715f7d50c43092e3b7b7b5a7461b55f1d


