# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: b53a3aa72bc12d1a9aaebc183fc3d53776b81072
input_heaps:
e216e8eaf6a375ec18ca24b2ce78310b303039d8
9fe695dd2fac74756be62bf1a9c01ff965a54e63
04a2bc7cfa07d840d648901c142a1b52d29d9296
a0b48a464e6fae8139a378d0cdb9041f14464140
46903d545defe9647f38a5432085e3200c1e996f


