# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 41bc7beed03e3fe8d9e0eb2c01b9812f06b3dd8b
output_heap: a6015a4e06d0140fcfc504d98b0811c9895cdb80
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe
f35c87b3fbb1057034e9cc403f83990111618881


