# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0e708655927a363986ada7f2f9b4f9581fd22f10
output_heap: b9a28a2e60a28af96b9412ddeb3e7c5580161f9c
input_heaps:
c5679ddf6480b45d5288f9035bcf34ff43e4c2c2
1e4e1acda201b0f4a3686f0ff3ee33bca995f6c4
e08f1dd5ed5e8ecb800fb33707f595dd3971dc54
426ee850389b08f852f814bb2b34efce8a268c8c


