# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 435ad4759c81d869c65e8c0de61fbeb635b2f88a
input_heaps:
e7fc28fdd000a6a43da8beffa0fdf0252dd408c4
481d810fe6ad6cfb0b1e2ecee5def91c00401e8b
374a22b68ae9c751c8864e23e93d7421f48308be
8dbf7001b1c08532471d3506529d5580dd8ca3d3
bfc8d657daab5639663c72a8c6a1b0bff3e5fa2d


