# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 0e56edb27f1d4f94838e13b983f35bd4615c9d9b
input_heaps:
caf53bc8268fc8dfb50be4ed535ead80069d9586
11d4952bf6f16d31d2122f86b553dc1d6cdd2c0b
7b0c60f003d4227b4dfa49479e394baff1c3614f
ee2d68335c1c0e380813315942b5d2f0cee6026d
babecb32faf35acbf56999d813d2b0cecfe1d795


