# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 45071e42d5d32e2588a839a1368f5c38fec1a9d7
input_heaps:
b1e9d096eff3e2d2097c331d061d199548b5d3ea
d6c569c3cb498e2d723179c18cc1cd66ffdd721e
b61885b9b1bbe6f9d8552fd0b69074af3e041450
c95a08ad12f19724bcff5d415b5c9dd7e7ba3c5b
1c629ed520ea1af10cb4d410aff3797b540b6534


