# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 68fd70d7a2fbe2310d43119f894a6f53f0a2fc89
input_heaps:
3d2535d0e4bd099c4cd2accf026f19c1b93bdee5
50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47
04eaf61cfb455e5f1fdd0305defe2d4d81fca6ba
46559465bd7dbb53c52cee947b8f843b0bf19b46
8f867c0ffbb135be92256a92aed76568011b077b


