# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 93f4bfdde49a2d931fa23502b19419851bb5a017
output_heap: d633c06596cb340798d9f21eba5118cd9c7ba55f
input_heaps:
670512538733605cb63d45e26f52dda04b891aaf
d1cbb794f03f6e7c97845b63a50e90ed33c8e18c
f28bad5c171ebb58807c934a7cf754cfb74b4890
f81181adb563c35a7a4d92880e8f9bba1ed5da44


