# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c1954a1c7ca6d92d6b7877413bde6030eb47d647
output_heap: 73351d8d88718a717f7006f2b3b49dc26ecd6c0b
input_heaps:
ccd5a1012750b588259b9982c2bc588bac89f30c
78c86e253aadfdcdb820ae113e906428549ce708
bdf1a31163d0319c3f9cc80d4770e74dec170cd5
20ea51eb69600b0284935d3df60909d0cd47845b


