# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: eeaf6d7583f61a40c0be494a06795a6abfe892c9
output_heap: 3765fa423e5ccc26f085581fedb38db534662c9c
input_heaps:
7d9fa93b580f7b2d4f1fd2f547b350a3fd1985a1
51090f86b27d57beb37832df883e305949dac6f7
68014b634681a37c5f9601c23c4e1c06e0a2dfa3
a6e1e6c6c8dc448880dbe4750d7c9af26ac3d85b


