# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6d1d026593f1fc66d947a3fb81e8f2f18ade314d
output_heap: f327dbc9c8a47341863f31303cced39ac3d88c9b
input_heaps:
425050c979a8d54247f86c7dfa44e6a498adfdfd
1f89f62b2b5f45ced70bdc8c7ca677aa7e6acb93
ed29f35d0b99a35bf56527c7405c4d1433071668
0db31a022e62df145a5799090a1697a3d33a8bea


