# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1dd58d22802d83c684e89756f4684d1d88edcc4f
output_heap: 2a7c1ba0c186e53623222b6d09daae4e9b20caa1
input_heaps:
b0bd15c9fb8e87ab78f957d86194188c0459f9d9
2d36f315825d6c987155fad66981d3c51bb51ca3
67198fadf251156e43a55d07d2747738e8bf2a3f
f6e9ee386b6d3465e09d3b2135a7a7c00f405a51


