# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: badb7d0d8e6d092152f3859a1c960af7c4ab12cb
input_heaps:
4c5f183ba78d63fba8f2fff83f20ad92ba3f3123
7b9d4e57c8c302939625b8327fc2f5fa1e0eeb2f
f1946c9a59c82ac069f1aeba727b8511731731c4
bf190f6c0d671e851176bc94e62b974dd1b1e01d
24f8748bba86a38aa23282e7ff8876200391a8ff


