# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ea208271caada6bb1a89ab343dbf1a0ff3198282
input_heaps:
7fddbccf8fd3f8ba352491f0609478af9a67de35
30397a6608123bad9ab773becd5f4664d5f8fe91
be0a84f03761ab1a611e72df951554808f9a2f5c
8388dede010e8c0833f79456a8bb057ff939a2dc
913c0cbfefb3120cb4c929b56ac1a80d13b5c400


