# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 1ce2ca01ace022820807e8dfcc571a214522d140
input_heaps:
5edcd5c29947c92ff6acaada6d85dff99035d300
bd7565838d12a9c7d88a8fae92e320ad178d24ad
0ece1e32ee998812974b3d486c9f352f8e96ac40
4745c8303512bef1342be415bcab77c877851625
b4c242705342fe52ff7dc2d5ccfae3618f405f82


