# isabelle_session_info

session_name: JNF-HOL-Lib
sources: 2661b99b2dc5d728e58f1b9ba1fb1655465018f6
output_heap: a4074ac49d0786b000e9df2d37c2151a5ce3300c
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
607b584e29337f48da7c2b7111a6e1bd83507c61
26fda83fb54b04a8509464a2469873c45a8ea65c
6d50128481724861da7ef72bd088fc73f1b1a18a


