# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
2eca16bbb2d69d36887d7b69b1741e1b1f3c8a22
a8654cd4e3cfbb8cb93e298a9332845cf7899af6
34e42d7e7fbfda4e0f7e330d343f3b9d222871e0
237942223ce4fbd117ed8a919fe324c77b654870
a1c9c09b36da6ef02c96c87683068063ff081d17


