# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c3614dab416eaefece5141693da23e873fd35675
input_heaps:
bb6edb3325d4afe86dcddb38cd64e9e4f6cb4f05
f5abe85b5a6ae336d989f2da068aa228d0fe8ac0
8532b7cfa01864c21c6562c284e5e40df2a3d4be
b10b99a01d8be37163c7d3b49efed93f490b1418
d0a000dd9660be7523e7561ad8511b0bececd807


