# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d6201cd07fc0c8a047d08a38fa13dfc1e8ca82a4
output_heap: 4259726d6e3812f29ec65d627386983402e07c4d
input_heaps:
440b9f4889eeccfeb8f57d192fef3c943c95e2f6
15a57fa35da2c9fc03615797247fc7f427c7b698
f574a9bb79e5b51ede46f5b2a9d5ace0b6ac495a
96398d41b78b4893ee8ea871f6dfafddcd3ccd9f


