# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: be1186f6a5627d315e44e3ebb80b33fff458f593
output_heap: 8b7c2005db7974c02717f968eb046fbac6b73ef3
input_heaps:
624fde0117aa7d8b47c7bd3b690a3caaea6cab8c
d85de68322e7b854283d40aa8892b9eca81ccfdc
bf23e2350078dfb25fd9a68956bc4a939aab4321
44fa02dcaf7c70efb9cab883ff6240a8767222d8


