# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 92ca78ea80f757bbdbcd5a19df12d408ef35265e
input_heaps:
e47e82ff6a77ecdbb1e7af128c99e9f405606a5a
285b28884f06fd2844d6910e277df4947a17f048
2db38288b646fd598faff0c0fc96e6ba20a7091e
d5a20114e099120de100ec5bb07bcdb354716c8a
dce291662e50f4cd96239b539b78859002f086ce


