# isabelle_session_info

session_name: Robinson_Arithmetic
sources: bf361122d1120e28f4ed7db0fc7571aaabb34b10
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
0cf945dc0ce150559dd7009164fc1739ee5fb8b7


