# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: e70658553a0008c68ef35dd5026f343db86299b6
uuid: bc2d0776-7970-44ad-a984-6aa69773d84a
input_heaps:
7332888f14d171ca4efac7179f55d54ece2c6bbf
2e67a21ac8031daa43c777a5e17028797e1134d3
a2c5fee50d7c11ca03808a8187a3d8f3dc12a2df
c026f3ff6435b810436630dfee2f72fc50ed9940
35ee5b9aef05449c9f4bfc29749950711043e548


