# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8b4c1f44b276716f80f66aca5863c877512b832f
output_heap: 6a4d462c3dfbc927f56841230a8a65dd4f9ff012
uuid: 6f8fc989-a031-4773-977e-06ea17a9731a
input_heaps:
8e9eae38be026970a7c0872c4351f66fb6e42703
53ae6c437663ad2f3e40161179f70dd1c9dde530
31648cbdfeccd039663dda2a6e89fd6b56e288ba
3fcf97d988fa880e918fee9e4a6afbbce31042ec


