# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7feb5c1a2cc9d4ea700d8d011896d8b9918fb523
output_heap: 9b4343183c11ec507a02a8080b901d6e59a3d776
input_heaps:
c0c11954fca45e94d806b43eab333f8d62bc6a97
20699c095779a1345da4b26e779cd64939d1a74c
3ec5d42a6a9770c5be0d82b98a836f634b23b4cc
292e2c3994dac6b294a0c6e94eb1787cac922f06


