# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c75236aa817dcba8a65964b8cbe171e402d256f2
output_heap: 0e5584c6af09f342eaaee4ffaf3a212c2c42415f
input_heaps:
1b1b23cc4f026b8efee00153745c0e90f4bba172
6b2c41334cbdfef77e5fd462241eacf1b847aef6
702227a203ac9c30e306ece801105278eba7c7bf
abef45e0b9dafcfe89aa8be37a7ebc3a2d558919


