# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
a1928f7c989af1417cf803dff1d0e4d37d201bdd
4cac7c9872c9950110e20ff72a2a8049c87d07ed
ef31981958657e2fc51f4a91cd689159b9b9d924
0a4280857df95f5f8539f106f0aad8e57e59514a
9ff4ea764b681bec274ca35d9972a10414ba089d


