# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
831d14f67c3c3a84a98a77281c0c1e5b593b14fa
abeae0cfaca798724f3a1b862a46ef1f7262f8bd
74adbd4176318a2bf68284883a01d33a2306f225


