# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7aafd9f17c88cc3d07de3e95fdc8b998e3626a8b
output_heap: d35e05de2ac3c314549bdd25189cbd14fd36689d
input_heaps:
7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea
c833d794d77e1e4cd4627e82381772084c282cfe
b1d6b293d50eaf3fe5b199aafa9593896d60a26c
d17cca43c1681f0780e8f28893f6c5fd8e4ea526


