# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 85b95e16d3b6c6ce322364b4a338940c7e50ff65
output_heap: c3cd286c4d39eda6e2fe00b54389465171e1bc0c
input_heaps:
ccf9b9418e9c76b5688e2dd3ccca778f920a9297
2b81ca4de31fb7c354e77106786e7248d054178d
3653d2dde4cafce91f7a86412f9a6c796dab12b3
c93c98f7c27379200f4605dce1da2bb9c39019f1


