# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 0b4526ffdc158da21cd3dcaebb06e471a592e455 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
3fe70f5117b8eca926e46990b6f607629bd9c167
40f00e8f8b9fedc403f57c4c6c050c0a45b02699
3c7415b32f9516b3b0a56c0029f9f2db9e2f4bb3
87d2f1daa964476eb342d0490c2ac4a8779cf188
d864fef00e2788753cc1d1c141aa571e7c447ddc


