# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 1dcdbf5ecaf2fe13226975db9ac5d47e49167882
input_heaps:
858d9a71f36341f07666363fbb69619c7d3a817c
27da0e523902851cf095a994342c906e8cbead8f
5f12aca1b98a6adc9ded46456298cb0187205723
68bb98cfa9f661807adcae2226abd8c61fa2c00f
14343049c26d7e02ea2095eebb82c2c257cc84b1


