# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c34da1c8b7d705007f864a86dff047b497516dcd
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
2b4187bc161d3676c7ecb02018a49967dc6a5fb4
25b9df82f9955898de3fa6be4e7432b8649fbd60
3b4b4317d9175126e83042e8b14a3cad63f66e17
f8bb8e5ef9df3b8c4ae2c9b10659cb2b64a1149f


