# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 60cde26f91599a014e0013a8b812d0d8cac68c3b
output_heap: d5e88746957019fa9f060237265bf90f7a8253f4
input_heaps:
c7d9454d27d9285164c25015d03b0e1c2ea48457
12333de0a7120821160d4de7edfc5d07b4dc56e9
042ca386899ccddcc96da0aee7f6a635c41888c5
94992ba2e3863a24566bbfcd83b3fe5c0640e352


