# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bf275d0e2f35749d82041fbdad270917765717ce
output_heap: d0a117bb47b09891f94e07aa2ae7ba89f00dc586
input_heaps:
1e8a5e75562653ea4f095e5003b29df3c0c7dcba
bd3bdab246ba0ab9f1962b0a2944f493b5762d24
372df32c625361f1e83656ec6db64bd7ad1648ff
dc9938abc9457251b29f1dd394321ffc026018f6


