# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b2c36a6b69aded6f6db3e6ce0ee8b1a7e6c13e6a
input_heaps:
2249b0d89886ff8214405b7965757b42916ea82c
12bc458ca344f53430a1e4754c839513e4c16e22
8cb8a38c41a290d95a891b8926bbd05c792c4bfb
b00a59b05c375bb14f7f6136fccab766ff63a771
0f0a388bd9d6a2d81c6d5105900fe4e9a10ddc29


