# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ce6972fd684e7a5c9e7f9edda92414117f87cdeb
input_heaps:
16fd1087ad908b63e82075696fd8c8c64c13a046
22d2e6a05f68f000eaa28c45ffa4af02862fc08e
f12a071c03b7804390e8570f0fd34eece19e4a2d
457774e39ff177da43448084bd829c0ab798f590
798e4575f8c99c82a00f20238128801d12453724


