# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ed1f3cf554791a36840d789c06a23cd64130e5be
output_heap: 170ae055bdf7841357607f5714bd7bc84fd66259
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
0c6af15267b265e8188e286a4be24f4639b3ee7b
f1d7b1fec553606fb8ffa66b10520f8de1b86fd5


