# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 621a42b04333d98f0c94d23fcf926d8e03c43abc
input_heaps:
d7bbd02684baf956e1423f3454e2d869c3eb5036
9c726adfe089422a375fb3d23090f34ec1598542
244e10ff205a9861d85e21dae66ffde688a2fe39
3fd7517f04bd6aeacc6e3f19aafaabd546022697
d9ba46da6b6a5ee6ec6401b6b9a5d57b4f055e86


