# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8f9f276157c579e8ce150eb2e1211f0ac0fe4121
input_heaps:
62858bf7fdf2d16c6c85785e129356049e07047a
91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c
b968a3598e18f78a38a4319f8fd77de2165ed05d
9a5026c0c480f26dcc4fc2ed21b042ada7d18ea2
5036d07b4d11b808587ac5924085b440fd3c6d2c


