# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 33e8a8ebf58c6325c0ddbb3e84718d60f58e2f60
output_heap: be023c3fceab57dfb8a07c0539040549aabe444b
input_heaps:
d7ef5b7f6ca06e336d162c6e47f9e9ad001580ce
3549c9067362f3eb0cbcef543ff4c504cc325687
e66fd79a7c9b38e7ab30b8c22d093f3d9cff5623
bbd6d3140fdad793d221624436ec2de2dad1825b


