# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 93164a60e467298e6506e7218e0c2078c8a76d8f
input_heaps:
3ae2375acf5ad0714f3a37416d1e1b869b0d64f3
83c11cd2d2233ea3dc1e858589b3d86c6d162e2f
62917460ae329aea051b66f88fb83e2e90131c92
756e9f77e6cdcb3ef9deb0e95bee1197deef583d
bc6b5b77a32c84739fcfc437d88c7a9a699ddd99


