# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
d04863bb10b7a9b58d6de6be3ebba7b0109dcd94
2cc0a9e122cb6bd824fa9a5160a29362d9292754
cb0aef32a3aa5f326bba8288ce3cb6153bd1a85e
671d92a6419c2566720c100fa76a450e59f908d6
31f61adadc25cd02d4ff32ca1bf8687453c92749


