# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 14141df6c46158caa77f630e7b9211f11397f9d9
output_heap: 6f58194f82d684080e19bc0cf333f1c756f9cbeb
input_heaps:
7116a09c3302476e267ebb87e641eea8c606ca65
6b7362b3dd12dbe0eda47af95af0df862970b0df
87d3b5c85652583d07a2b6b93485a78e1a9c8732
c0f4c7d5fcbb080f55a768a8d15476a8ba9228fb


