# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: e70f6226e80f5232b9e807e5041093fd332bf4bf
output_heap: 1733915ac91410a322232f9c0f5551a4c6397ec2
input_heaps:
a8cc758d6ab7fd0d9728cbbe893e534f8f965816
1af3aedcad71efe17b78663b69931936110aab93
34f15badb9a644c12492cc350d37337dd4eb1074
13b49a6fa69f44d1405c577ddd4e80eb8fae64fe


