# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ec5d8c3cd555e30bd4b94658d5dab89c81954300
output_heap: e71e2eec649d6cd426bbcd73a837f16dbef82c9b
input_heaps:
3c141932b8eee55445640dd8de30189be8d63237
43760af647e811dec05d47112055a1bf84003ff5
6dcac5334257eedd88b1c07c9873c20446f0392e
0655ebb28c54641f4500fd2e52f355bf79db2317


