# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 96f9c18b53b574cdd3aeeb5cad9d21c7d66e387e
input_heaps:
ddf058c9f10e05f4106827b25b4f95ca1cedad49
983acd18ec90f8d3a7702fe7ef442de9eca26a93
f11b1db14a499cf39a77b30ecbaf6ce479036731
eca08734553756ffde3188d2ef3214435720b0d0
8e94e5c82a13a05ee23f661b4d8a250336d68801


