# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
7407bc5e422d8a419d0b388063e4c67f943c36ff
2953192c9b84ec69949efc0b47b4467e087e5b06
238bc295d892ecd6acd00b8405a302c69f482fc4
db0744869ba666865b0656c326c10747574494af
60c752097c33d618a5011153b0a927c7d22fade7


