# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a8f9d6da2bbbb9e3f967595e5b1bdbed23b9c803
output_heap: 57ca26e9e93343c2423fcf8600d021f249e72f7c
input_heaps:
8a4fdc11c1dc5c6543cf017ad94919533cfc18ae
c5ddbd426f3bbda06eb7d85049a91f0bc04d57c5
615b0ef5f2529d8986ac3aba946b8edb7b350c6d
c03e48d5458d18ec3b5798097e575deb2fc7622c


