# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9f46a8808d66c14cb0eb28e490b853f0ea2f5634
output_heap: 3daeeb28e61975860a33aaeac3697e0bda243542
uuid: c29867c7-43c7-4268-8113-8b21fc4b8e7d
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
d29381ace5f57e0cc9393a9203c0ee853d6e55f5
45fb46239bed9edfa44deefd0331bb6c9b29cb46
df6e26d76e3eec4055d8c33984982228526f4cbe


