# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
eee406f597a382146d8a83fb17951cecac13d1a5
2317a07a5f3f22e6b314391286ed2b5e12af8474
044bcf8f6627ee06622ecbcdfa38f0b4b3cad119
ba7288a986c39a988edd212515b1bb5f7a553940
1d1348f4a986b0c5605251cb17b725ff55c40818


