# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 39008de3e424aad8c38b689dbcdee2d0f2598765
output_heap: 42ef42ccd0ad4e4cf0d3c5ed8597d89be6d1cdac
input_heaps:
0ff9958a0ca5fbe9ab4009834227f55206a20040
e87326cced1f0fc435ede3b19ecca1f629d0f741
c3086ce9365ffb48a9954e9d7090babdfadbb5b4
7e09f11a474664df761a2e826d790daff9fddb68


