# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 1d9c7e8bc7382d306a58a566d1e2ae868d8c43b8
uuid: 30501e8f-fc1c-4112-9337-838e552e2b76
input_heaps:
95ed4e8ef4a50e6e2c06f89efaf18987551db93c
5ee65b4d98425bd750ed22b8b867605c93d371ef
b5248a18d66475fc1bc6569462467f96de11ceea
5d875b48d134361f0d5b20c4df4fb771b821d802
37eca4e8cc95496eccc245b98064bf0c95a8f796


