# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 651dad6c743d4b7c206b7012e30a8f7432bab4e5
output_heap: c72762b1bf77083042d6939afe5a14389b058c26
input_heaps:
d40ca4cdb5a529824fb7d177aa42025673a71052
633e17bb1fe2d387c6bb1f2f01166d06622686a6
b5b0b64e72a1674f555c4fbcad929f2c1ef60ad9
2fd7bac5f8f19d1cc5edebac9c886355eb9a9ee3


