# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
b7d4b395b9ad5ba40de6a5d2e3654146fcfb017e
4136c62ab121d3cbb529bc34878f6ddf8f766524
6e05d9eb878c67ec77aec9323a0badb3a1e3fa2c
0bdf32b162aa1c3c68cb6a4bedeecd44d9a27e19
0a512e6810e1301d781d65ca0dc465f8383dad84


