# isabelle_session_info

session_name: HereditarilyFinite
sources: ad13501000cf1cc78b1c19b475de53ae0ff0ded1
output_heap: 84df61c4126ec40880eb12410309f7c2f51f3051
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
b8020fa2e6b77cbf547e2fe43e535f50b0d5ec5a


