# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 061e0cf38022f952c7da2e39158c14b9e7641593
output_heap: 6b716ac57efba1ffb091d30b954b1a2b89895501
input_heaps:
60153fda7f67c400babeac5ff8410bde1cb89937
979fcfd417ee7f5d3ccae23097201bc6a61b502d
02174d5517afee9459b8e12a7e4eb13ca591789b
ae7448821807254c32dcef99301e8cab7c3e4836


