# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 20a3ded3d2387d3aa821221e18b209b933dd18b1
input_heaps:
71ff5a8bbdfc43c9b0b231f02646a3d44e6e9566
29613e1ba570ce5d15b2350e88ce8def22fab79d
1f6fe43eef79ef9539c38fe294ea34e56740e9a2
077687d5890766fd61ae9732d1f50340355c7fee
a82465a0aab259faca3013d3743e24a6e4a2387f


