# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2632b5c7cf80e0574ece08f66d972ab7ce804e75
output_heap: 45555ed92f0b60f2faeb05f38cbc2d4eeb83a820
input_heaps:
171f1401f05a7647b01cb7cdef953bd877fc895c
92d83a3f9935544ccc941b486a98a794a1901ee6
8030f58ea4d7d95c57348141e6cb398300b7420f
03b85f2538704ef61884b7c833be572df1af4f8e


