# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8374ce58074cf107971d7edf899410574b2fa733
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
98e40bd54e0043bfb45e5a21a2cabe0561c43cf7
adc04a021a7e3236a56887b5f43c718c8c243f83
58ea0e5c5fda039d195418cb88935579ee7d6620


