# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: da14fd3b519091e9878d60d72bad8b855bf35f61
output_heap: 491f71ff0c05ba39a0c5c537981547111f3fe9a9
input_heaps:
40d35f92060f57be7e534389481a5efb493217ff
23dce64ed4db5c6ce048649289ec788386d1a713
c08726d9821c77292350defb95f0e1f7ad47b046
ca80058f973bd6e4090a73e06cc1115c21193988


