# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8f7deb9e3d3e4f3e25a9823b5763415237040f04
output_heap: 8aa413f0c3e81f545e3b3c57f9892ec6e2246848
input_heaps:
b491cc52c6cddfbd176c595fe2bbf3ae3351103c
e27039ae01fdef480895181a97cad563e945f770
07ae367b9b6b04e6f8ed611586792e0303739300
49c3389d37e6716130e2a81b263fc3857bb10073


