# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c26facbb2e04f95a61403c863fb6fe1286a7ef3d
output_heap: 58daf3e3d1896d68bc5bd4e6e91208fe1e61051a
input_heaps:
6ae1a84ef57c6bbf74a3f57a85a1826e7af5b405
b8ee4f468bb95a631fa62beebd399286b04c8e85
737694e1bb48c4c9ed94ab728fdc9b375d4b19e0
9ebfd4397781efde9487b7e5997bb58453e7ae7b


