# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4be9d1c80fcd73ceb491cdfedccf00d6c93805f7
output_heap: 35ebb06dd4c4054e4fbade438fe68abdbf0755f8
input_heaps:
d5a3488ad18ffbaae064d10946542ffd314bf36d
72dc51a447b414238b4717ffb07110fa03d59279
36168e4ab0e2210d4063e57d3cff092657cb98d4
bf80ec3d22f926eb26d0f9c3e0e1db2791315ba7


