# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: caa1eb8d8c0352e49d1c182846e72820351d135b
output_heap: 4923d8006271ac8d5f7f09c1cf792675f5ffd498
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
f35d613e91298ed96af573ceee500580887c6bd5
17865e4fa9f9d73f01acd06a0dd05a886d394435


