# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a335b749835acbb95db1be1caf423cff00003980
input_heaps:
7aefefa57c2b8d1959cd57eb7b4895540e3d49d8
c34a22c7cb73800bae89d4f93d1c695843c99673
fc90306bef45db01c78bba1b4ffbdd5c01bf377d
489653b8de32d4513e47e45f0011b48c4aac9dbf
2a80d6e8b53e47fc97495b8396e10871dd6863df


