# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1a0f0a8345322c71498ac5fb5d23aa0a232af8f5
output_heap: 07a0a35a58e47e3119120b8eb76083734433fa3f
input_heaps:
b35290ea035879260bf74094b8cdee6413c2aeaf
908a19d8d489b3872b4fc9a51102282f55c5ec76
0417b9508db251231117c88fc74c8b08bb089fe5
f6f72fdf6e9cf0b7b0793e4b6c0ec99902e3d0ca


