# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 170c125c10235473f73875b6d12830c3a5ed36ab
output_heap: b7e80d8db3e13626b4d5705efb25a0804d6ea2fb
uuid: 300feeee-30df-4d69-9b39-1a4b593e2d72
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
e0b2413c63513a61c1fc2619cb5656a0d51040f9
5478bd4366029f0fe160f280700ea05e3f792ca0


