# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9bf0af3ec9e078383a79571b4dae8207612f4d60
output_heap: 49c231c42b7fe6e6243f359fbfc8bfb21689679e
input_heaps:
a03e89d3fadb53a59cb81066bc63e4eb9b8ee288
067a05d999a76b0907f8fcc12361d7e70ff75dff
2bee81fb046caa1e2781b594629e815cb93c98c1
b3d27107deeb518d6bc592fbebda8e374c1205fb


