# isabelle_session_info

session_name: JNF-HOL-Lib
sources: b0c87f99d2983caaf288c8b04f5507c04c6c3d25
output_heap: 14d29310339ac05a7f7de2d4f91fe4d91dd8e346
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617
049e3f297970e19a2899b66fcc4d730c439cc23c
14bb9e5b85043fa2f03a48cb85e2c99023444615


