# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: e8d5f0be8eaa1adc61128a5a8c061ada562ccc4f
input_heaps:
3738d534707f79e4c97b3e4cb327db955945e3f1
1b19ede38a286a7fa7c377dc681da41f766449a4
6462a3874c48cfae71038a0f583256047534c63b
532134b960fc13f317e775fa487a51161c8d3f61
4ff35e09e37b21f85b15b5e1a4941e8129b2f1b9


