# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c7c56b4c95b338b02ceb37b608f5fb01345e9f27
input_heaps:
b3638f229a7c654f6777ad6f1e506f774cc49604
383f910010c35948dbe0da4effdab2d1723a6fc9
172a9ac30825d17cd3dadca8401e56761d9b26f7
ed1a3575e569c336c6bf6b2176e945fcf0ec025e
f61642e5b6df5ec11d75571a47edbbdd65982457


