# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: be49bf8fcb69df99999d20805c4a04d3ebb54775
output_heap: bf2c13a5f4f03093c022d2ed655ba220ecb767e1
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
890f4cd952649b9567a6dd5c0bb3d155e02ba420
71e8ac1d58f88c3c1a3d48f9a5632d3f689812d7
8c8fc03970d0eb1f82b8664f84bb8d5c93504873


