# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0141d6cb256e15308a10708155d51511f9dfb7d6
output_heap: fbf5f885d7093bc0d8a249526c15f9c703d05965
input_heaps:
cc1977b678af842d5b1dae3237d4803cee7dcd2e
874bad08945295a3f50a8a972ad8755a8229eb2c
0d722101d89e6cf3af7830dd9e50fec2c3599029
5454a1b7246232688efcdd0d0d9fded174b865e8


