# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 6f7aaf673a72f321c87c3ae51a5a42afed913c95
input_heaps:
3fcd7511ab327c5a89ade2e9942291174e9003ad
fb51139a56e053f2570dbe1d300fd77c6cd870a2
2f216c5e5bd4a473ff272a47b524606d22e2cd36
5c60a918d1a96331240b9022725d9a77f1035445
3403d4405ed213af45ef8223f77a2f0a6d234105


