# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: ae650a38c89db35c34ae2cdee1751703e6a39de7
uuid: 6f2b33b5-1974-41cf-bc73-5125ba9ac8d1
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
44ecb598abe16cbf2327b95701c3f556edf31940
e820b4324cbe599fa66776b053f8b8ecd98853d3
267d7f74cdc278e55a2449109fd2ddea255702ab


