# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
94c9a1cea78b6f4fb7f551d5d68b467bfe295c7b
813039a69e2ed3cdc91d1a0f5b931ed348d85609
acd4942fe717bea707104429aa2312ad239fdfc8
bc99906212c4ffd1b658d611e2e2fd0a226e5eb2
b8bf728d6bf6c3920f8458552a3898381e86973b


