# isabelle_session_info

session_name: HereditarilyFinite
sources: 31e3c3d3fd0de5ed909059fb7bc173a724e416d8
output_heap: ee734e93f3b600e561b10cabb1323dd43ea8a1e0
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48


