# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b781d9914465bb81c4480ba17f75eadef1110d8d
output_heap: df7c82a922c87a2b72953a8c0c6d4b3c780f5ee2
input_heaps:
fa50210ddf8b9b3fedb0ce42921cb5ad72fecc9a
cb2feb7ec86e7bb71a050fa9d8083329b2967ec4
e736098506d9027c514b98e24c394bfef3417db2
33b3b4e717077bd9509b9d298a85a4714e5e3402


