# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2d31e9771d0604bcf58ed9f4b87c9448e7a7b736
input_heaps:
bf9654100afe32c7d5bf427df7a0aaf9473b4b02
25da447281407266ec378fa715a0f0d237e17a82
d403fcb36aa62746c75c7a9da58026bfa7219c80
8e2ff5c6bac82f2d36bbd50bab413665dfb970cc
5de34b48ad3e72479b9a201b0f112e207016ef64


