# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6b866b3e38f74b6bd95a7c8eacb221af0596a6b0
output_heap: 420a467599128d06f7eafaa51a40b003c56b52dd
input_heaps:
960aa29045dac4afcbcc06ca53439cc870a14802
5c73c0af1bf02f2fdf45f168079bb297a1f3e53b
82028e0d64e743008d94ac2a3763924c3ae5e636
f5fc5af933b5a23958ec06635bb269b5881b4c10


