# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b073074076dafc27bceb4671a2c475be4dbaaa98
output_heap: 06669c27f0feb0ca113f7168dd232c0d5048e68e
input_heaps:
d6c847931405fa336fce077665f38125e2e96ac1
91c0565cebcc5e75b6ce0f995c80e54f320cc221
23479072d12535e7a427f45af43c7f53593218e7
738d12462df69cd383c6e02d7ee562f4cc00b729


