# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 9fdd6598fd9cdae3d4d6db0633a3b26edf735651
input_heaps:
fa99d7b5afbe89b4a908db9749b9b74165a9e508
42e85511b690533b9abbe3ee4d90ea0558a0609c
9e3e97be0263ab09e72d78ce7c1f778e46151355
60b39058a760f2b9d43b1f40d3a5cd07c850a151
fde02a429a2719f740d79e79a8d08640a950edad


