# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4d3f5f77dc34f75f70d79bc8a9d88de08c0f5937
output_heap: 02bf1ba50a93194f231aa14e65f615966ec54310
input_heaps:
6e0b414cde7cbca05415ec6e5bf86c58afea3732
f9895dcd254f82aab3b7e4ca41b9f20af3db58f1
4659b00a0505eb1cb034f20f4d31603328ae909f
ee3c4da95b0e5adc160345369f17d1b0bec3e7a3


