# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
a6f3532fd6a828da3f4809fb850a9fc89142ce2d
164b462b43e94174baa0e6c53ae0d598f67a7846
5c4b85bc5a7efa5dbbaa7b6c0d46f33c678f0498
afda421a91485108788244196b69aa6c45d1cafd
bf1164a436ea4bb775d999cb8590d93aa407cc5a


