# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 5e2a66a801b4df5ad7208be37571e705a2ac7ce8
input_heaps:
ac799521742c6a511fc6b752309e53d5f9492760
7d1e272668ac77c0cb149e8c1935fb9a1f4501b8
1ec5b81d09e4e6e45f56eac7d937744404f169fc
16235dcc12b1f3bd3f61b3c2d80af27a84b7669d
d5775a22ac994c926e62c9ac25a66ea8d99aa6ab


