# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 144c26ccf7aa42e4313155d29222200b37fa9e1c
output_heap: 4625eeb10f082d6e9ae7c65efaa4c7fc960eb3c5
input_heaps:
a4c5d301a507f7945f83c5170a983e051beeb81d
4a642d629266e43cd6125d2662e20da56947e7e5
d2eea66bd9ed9e05714cf432661d2ba141bbe0dc
2b5df4927a8b9da7a59b06a0aefff6a0e4ad8469


