# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f9f2ec840cff8b9d89ba9f69d844cbe865079575
input_heaps:
71694b1f2d25d2d9aeaca0f1ab390c835916ace2
24112e61b571a2bcd40de8683c354fe7120c1068
3f3d97eda4172cfcc4674099b18491488b051f14
d19238bc0892c64d4d481e7708fcb3e73650a749
90b4c21eb3c279592907ebed6f069b5e9dc31b2d


