# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 58c0f846e1434b22985409c708fd7c9f91ef6d4a
output_heap: 72a9e91d49d6dd5dfbade676cf4f597ddbdc9740
input_heaps:
cf9f2e81ac8216fb96115b1954a56acdb70fa044
b84ef1fe993781e8ee07abc4373f149f194fe8bf
8e8644e5c195f1c94a349854d76163a0622d99db
ab4bd6d93817ce964e0bac3464fdf9879353d375


