# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ed935e605436655fbd7ee71e99d59f4b95d3af59
output_heap: 7d9de91e9fa250b47767f2650d92f1b73ef27d1d
input_heaps:
0595afa400e94bc790f9ce057508b43b15e1e2fe
bea096321b375aa5b5a5d10e9d974b036f7f356c
c82e349c554379fb81b6060902c5aebdb62d4b8d
1fd76ed54ad64e07d9983d2eb874ede2c6afd326


