# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bf6ceda8a51f9d9b21b73559b0a0ab21273d1739
output_heap: ad07a2e2799fe963afa9fbca8cfee52fb3429a65
input_heaps:
e718bc473d45ba4a009a43bcde2945e08948280b
be7f62f52b4dd690b858e54668dc2f0f3869e2f3
e793ab6d3162284d1c94253f6fb1d5f42bdfa472
d738d0430c330bbc9268786e9bd752b52cdcce6d


