# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: f84bb932cc0ce4d2aef1867cf6f17c3cffe73542
input_heaps:
f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e
3b15936e361c4485de36e5ecf4f1f2e8f445e71b
967f51eb5707e938cbfcaca5d7f6d7a919e3d9f0
6c5fdf41085f3e0b40af4d3369a61e98302b9c7b
83990d0dcf8c5872e7982930d1774db854b67218


