# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 138fcc8c2b28c0b37d1507bd7e118bbe15bd6136
input_heaps:
6b7ea948c08a4808501358e80052aac147b7eae5
c30c18fd78f34edd677a1ed4a755fbc1bde8fcf8
6398bc9b833851b13b1580b74822ebe25cb30fd8
064e8e4b3cc841fd644aefc93ad5b8b1965b6f6d
3ac9e04643f2a5b9ab32d33c4751c7d32419062a


