# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0a264ed11a1e6907c258d15ea993e98c3f541db8
output_heap: a6d68207ad8579189fb19b4f3da3a28b02a4e9df
input_heaps:
2b6e830346a776cafac292932ffa567cce45fa5e
d413af43dd20817cd93b29090cb02323a6fe03b6
834695d17e258264dcd78801ea238262a4e2215b
e7da43562c80cb594e046d20c58fbb719cf89b7c


