# isabelle_session_info

session_name: Robinson_Arithmetic
sources: 3824ef4e788d5f7b8aff90e843396df9bcb67f92
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
8af16176c691e60d68a39754f719a7e10f175895


