# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8f9469c2f2132196586d9759861b2527144f9007
output_heap: 1a9a275c256d1083b42368c561946c239c0d8208
input_heaps:
4a94cf884247418bea313a9db35e86db2b51269e
14acf31a4772521a6ac0f6c0b1425c28333b3578
8341fd756dce31f2bdcc7e1252f8ed212dc9bb83
ee9f98ed6b123b1e9f72898820e1a925522362bd


