# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ed1f3cf554791a36840d789c06a23cd64130e5be
output_heap: 924ca05ca1ea57d5b2f0ca11fd88fefb3337328e
input_heaps:
ec4f72521e1e679fd5cff6fa91e397c5873c6432
dc95e50d9809fb8249d7a6a630b1f18cc52d769d
ec788b2cd5e0544cb20063a87273ee6a4edfccd3
19960d3ce9544ad54582c2f72b2d29e1e789f47b


