# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c7e0afe76f5e5cd61bd555db42af0cd3cf6429d7
output_heap: 21f01e46d56e87650e656352f18a961e6e1b5147
input_heaps:
e8eb12ec958edf5a5d2cbf15395a8cea53977f53
d1f8b402b68bdff9c63c026506ecef83f5f68c00
8c9c47ffea96e9ef206523850769921effa86458
9483ab76a7564dafd94f67dbbdb59f39d317f01e


