# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 47b8b9db1b9cb1959977f0f2e6c8f919d1a1ef57
input_heaps:
4663a55f367f6021a9d04b9b51a51d371f5748d6
643cda05baed70bc32c48479e948603981aaab65
1fa62f4dcb607d4323f75bf9b4d9f42da931d81f
b285b95758f76b3d355ec5408befa602e84eaad0
ee16853d9d96d2383c402cb3fba3e2d916cea1f1


