# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ddc091a7d75154b045f57c2e8a6eba98d028c70d
output_heap: a7d3053333108b9d23bd95f11ca4d1fdd00ee9c9
input_heaps:
e739dc532a6c80e6f5d762f572346ebeb03f4552
5c6d1467eb3dbc220749df9119f5083087abde6c
a222adeaaeeac8054ee14fb02b6697a4291344c2
6ddc1cf50b279d0071207bf3a1b61e4d8048ebd0


