# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: a9e86c9c0b7a323af40b6ac424db6d17b738c542
output_heap: 0695ba5abff94ba354f456a4de7f1e62898856b9
input_heaps:
841a6ebc9df4d3d77970367d96045136ac45f9bb
fcde4847564b28eee4e689b3e0e9ea79736c6211
d3c07b0b593e39ada4d377e745b7217912d39857
d2b1b3081590875f91ace11106de858804558b4a


