# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 82c5843c39465ebe4e8b566013ac6be9fdc8f1d4
output_heap: b2185b61b571722d93a4e9eb6073e826a7bab997
input_heaps:
6a4a8939512f5187f2e67f11383402b7a93008e4
c57ced0f4fe1cec403fa9d0a4a34248bd37ba3a2
cfd60e59d1fab428755f5079f87cb77b601d57ae
74952dd18181ff5f33cd2cd1056db340183f2b67


