# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
b91a3f2e818b0510d726666b0272511f10b50e54
22dff0657b35c8921184e6e2b14a3d15c6bf0547
725758c6acc3401d6d59de3c3fc374056cc49661
2a21645c01d857757b5a5a33972ccbde8bc29e40
02d34f6eb55d9f8f7c7bb80624ada4ee898035cd


