# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 01f283db4656e8efa78c4339fa1b1efedfde3c18
input_heaps:
878f3db57e9f610cd04a9f038453dd299557ef5f
0baae9c3cc55bb46e0f3289b05054103bd7cc2d6
3dc7f9ab9215bf69ed427af2b0c1db5546b3df35
59608b88cf751e7d404521d33800ac2d7c1eddf0
c26f6d4835d3ca4c9f23e767e3e4c3ff12195004


