# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ddc091a7d75154b045f57c2e8a6eba98d028c70d
output_heap: 04a6c0a9253ae7280e385556e9b1bf53c71bbaca
input_heaps:
2ab6afc53332b0678cc77dc53d23f8f23ad3ce19
470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05
a426063f2358f0b040eb0bca810e8ea748b4bea2
64b40e375ab20f8f20ca910069d685b02babad51


