# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 331cbd8ac309f9ced558a12dac6586c2fe22af01
input_heaps:
72cca0904208fa240fb772d4d14dff23ebcd0242
8f015da9fb20bea689bd130164efacd685956ac0
25c8e78f4a89f9d7fad0c4866d60db094405bb24
711a001b44269ec3d88c989a54615d3cfbd6f230
09a8a67725775a94a701c98160d10ef19bce5710


