# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f5d6ebe2ecca1b6a6f9e688278a42441efd40659
output_heap: cebb5b070bcadb93f25e394d371b1291ceef810a
input_heaps:
771b27749d066eb00734e2e3694240d3b29658b5
60fd69b109c3dc8deafe23bc6f2cd6b659f2d722
353eff247141121fedb104788add3bd167cb30ce
10ebfd4da39f9a2ab8eadb06753d3a815662f9ba


