# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
91f5305fb3fe14e7ef2e6985f51b5dad5849bc83
9286910ee9ea881ca140c8da2edc28a01ffef3b9
6a36819e870333ca5f06f3e010584711322bd129
1c55aa7eb3ddbeb25e6afefced9d454118cbe3d5
e7f459603aa663ebb21ef6aaf8e8c9ea2019fc89


