# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ce7ff45777508e98dec40dc39bbce4c5aa2f12f3
input_heaps:
6b7cffc78b37704c68c4a7685f80ff2e47a7537c
7f368c43b0534a88b3227e5f60a00015a4a52856
c7624c8f21f97470044675b8ec8a2bc3742510c5
79bc39d13554a31a6f181f40373a16f79d20049d
2a4533d954eadb7f87dd1c3e1b5ee3adec0c26c4


