# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
b7a9b2dfe4980115e308a4222253abf01f3cba22
ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682
026c9caa8befa3a67feabd448ac9fff1276a46a0
a81a31e0023ea14c0d934af3283d94796882a3c2
95493d50b7a2c319f0d5eac4ec6fd4e7ef93f056


