# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
849200688557e9f0e6edd85a9b659542167af62f
cca457174e898ad247ec138b5790ee51ed5698c0
2a5caee9e148f68dbc3145abbe9278e645b0833e
c1b8f2b8f1f90d7a9598e7913cdd65923f7fe2c8
ef4c82cddd2de903d9e1a4f456a75ea5013d848f


