# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1fe1a559ab273b6318aea90a5cdf11fa2d1507b7
output_heap: b89fc21941a88d35d7f928a9df8da7cc266d93dd
uuid: 2ca3abce-2be1-484e-91b2-d74d797c2002
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
717016bd28e5d6d1eb101fa3056af2bb21a22537
108afb1b267d34f6031eec5d33a55695fd5ae775


