# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 6dce54a92df621cbfbd04f6240d4067e2bf04638
input_heaps:
1765a06ed7bfb95809fcd480531b6aea79d668ee
db3306e1be724f76356daf0f2b195629ce39c7d0
1467beb77458338cbc52e226cf600bf2b42229a3
b5645891575e1183e755e925fb23e0b769445944
99d5a99cf1c139f4c1a4b3b1327cfa631a5c4103


