# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: cfd96dfc014fdd7a3053a6d40f576219bb271308
output_heap: 243a6658e3088da6fb884e3926bb988bebb3991b
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
3813e724c94542385001c5c6059f42e7d9acb899
5f2892727f1f31b28c82b7894fa8394ac8111608


