# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 8c2d5e0dede49769deee9539ef531b16681f8fa0
input_heaps:
3ef6c9a0eb470e4693e1ab85852721e78e1c146a
f550ffe99d9ea6d3907e695610a5094009d15b06
91b9d88e00ab12aee1558ed7d5ea87a44009d22b
2c03974d8ee1bd0862819731c0fa31e5db4b39dc
1b2a96fac554a235519c2481bb6ba8d8c25944dc


