# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
15748ff93b5834b25114edd06d2d63705d38b42a
099e6023f4ae6707d54ddd503c055c2d319dec5e
03e4eb80150aecfba50f57cc189606718d664e57
e03f337dc603c6782adb95251274d2857e11cf70
ed902cc1f893b14ec6b32e2b4256170f9e864395


