# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f8d9e10df295be5a50b62aaa2bf949e7e9269b21
input_heaps:
19435e7761b5bfa7535ecc583694b3b77ac13312
d3b6a50d191a438eef0407441b81032b5f20e8d6
439efb9bd79cd758d1f5fdd494383e759b5f1184
21f8d44518a97afc990a4fe61eaa2c22e2f98ed3
c86b5d746573923f4f8342c2be3f36a877ec5ba7


