# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9bc519aa8cfd6d3d486ed6b7623b0a119da4e76f
output_heap: f8f33d7c58b6cd16478fc03d2fc99cda2a221e48
uuid: dbec6a6f-00f7-4f9e-b929-487d272cdd34
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66
a3e00a75176ffb3a4926f71b13743c4095a76aed


