# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 78f440e9b9ebbddd128154445752ea4a3e0eb9de
input_heaps:
dc7b69071f5258c3706df73b3e56839183da893e
84b910a66c3fba5a127103a262ea752a51a43f31
a5a5473252b4c3d2702e4dc75c6dccb8b5813758
3c4a9d1709626b529c075cb39b79402dd20856df
90d3d7fa1a214bc609897920edd01abdc5a1ca9d


