# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: e6525aa26e0f7dcee8ff64c5e8a49cb35ff63fc5
input_heaps:
eb8afa5f3e15914627405f139746db5363a9c9cd
f9d10642c34cf1b033c11c0e6a9a4a5dd6b1321e
4325d35643247cd98417e4f049d9670952babaeb
b148511cb1ebc2dbcb74d28cd00a6320bb0ea2ad
322a8932fdcebc5284c713698ffb649f501cedf4


