# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f370257864aebf5ce27059a8f6d274b17e7026fe
output_heap: df29a1fa9ea1be0b24d4f946f99c99fb8ab41f93
input_heaps:
77140aac0dbc34a2951ed06728ef4449a3d3c2cb
74195f026dac375ce6b287f38a203688d292d065
24b58e9ecf556d0f1d2f4ed7623dd9c910c25bf8
216d4327c0f364d9e83af30739145d44c1f3b075


