# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 43e5edee4a0308f2e48bbc4105107697502f562f
output_heap: 4c4f9274f9135701d02f4b503c9f03ef9a269e71
input_heaps:
2323e0bcf9a949c0980c1f22cb8227d64a922d7b
c4b710fa6d0b34b7df331901656cc5e2aaceba02
750621154f972e780cdee5fea4af082c147026da
7a0891d4ef88ae38526fd01a7d1bab96d3df1fae


