# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 97b0c19e08bf5708fd774ae5adf9af88ed7a26b5
output_heap: e4883571ff8a2da03e0599d9e1adb3982ba5d254
input_heaps:
edcd1e22b3bcd95b9f743e779022af92d2d4b479
1cc0c57a4dc6b1fce148bea145e128ee3a528e0f
c10683afda8bf4b1603b53cf71ee32dbeeb26ac2
5225888fc08b8fa6fa930d35d83170c32f190187


