# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: cbe5c6e731edfdc73f5545e55ba241f41dea235f
output_heap: 33cede8c160b8d155b84a1b333dee0d756e79134
input_heaps:
d5c32f798d9322f44635e87a68b325071c15ce5e
8cfb939097b42be473a6f81320c8bde51d22adb6
f5655b7e5f1bdd97f70a1c7db38195e14be868f8
42c339b87e407ffa2de938f4962c556d46f2bc24


