# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1defbd85c31a25f7c8a4058df35b716c8c81073b
output_heap: 44986faa2a5b7df7427d5d6588069a6480cbaef0
input_heaps:
90a98f9904e3fa18e2ab8a9ec47ebbee782d9ec3
d52b8b1923d8724a29985dc1bf81b4a6465d872c
a1d7837c89d3f21bed91c445948096c2fde15c1b
f840a4f0ead8a2d20935ca762acbe8577272307a


