# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c9a4dfd9dac19da462a00f101265c9d16d6032fd
output_heap: 75b9da2140dbfce257eab24a38f65c464c8f3e56
input_heaps:
7c5c7e34db96667b848e7c2a8b8524484040cab1
5066c9559403f5436cdd85e1104f600b2f18cd78
4a4d3ab0e82ee43b2595d586d7eac839b5ab5b91
15c71aedbe9365946583d626d3a1e269a52b6fe5


