# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: c4752560209ba37a9ed4f7cd6e1be1e54b7e4cac
input_heaps:
f0e41e8906fc3822e07e67496b53881453c8efc4
8cdd60cef878eaae282636d39dc13f1b1a7fdd02
92250eaa20372918515a2ab7aeba71bd399d2360
c009be7f045c2decbf0c536eb23a8c9de4997427
7fadd7a44e9faf6079cbea70d8a441cfca5a7332


