# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: d6ffc548b718193a86cfee7afc2b80dc2c0eb2e8
input_heaps:
42368fe10ffa76847404362339a6b2b6ecfa14b3
7e5415f15f07a30db173edb5eb67a40510001ccf
cbe12f8db6624bebeb649ae7a82f7eab116c52f9
a7e96ed45e9cee88c27427e86fdd0156b6c0ed05
8d2140cdbfb3ad9d3d8c58373dc43e7b0ae42888


