# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2516f1f1d9332914265a7c808813b6e007c84026
output_heap: a4daebb4331a267ea58151ba5e5fcdc0c0c42e55
input_heaps:
94b742004074737de01fcf0ea8cfb966f83a9f8b
4719eee2abf4f7838423a7ecc32b28f85f9d0f8b
6b3bd4d09325301c566e5bead17dbf77ee440368
76ca93ddf237887326a56717f5cb0199272f87d8


