# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 916bee6c9ce472e90a51239781818b8c0a9da8c4
input_heaps:
c5dbdb9c44274ccbbfb2e7b9a9fde5b75c30d671
a549469c67cbc9866fd9e930d11e2256a82f8b32
a795c5d6db220890a7bbdd2649a4f73ea02e45dc
eb30ad2b30d9c73634a9cd46c05ab4d98a84ab2c
43ac75d8e9d18807c21213127fd9349b87e007c4


