# isabelle_session_info

session_name: JNF-HOL-Lib
output_heap: 8267c4822eca905e851c9e6a9473f1de0a1294ab
sources:
74f49211b644e81cf62a9cd750218637956d86d7
d8b591c052c85b1671e1d7822571568590dc3e35
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9
88c76860c70d62e9b5858e317f9274aecbdc5061


