# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
a5177c942feb837539a5f6d15e5082ea258ad909
70dd9d0298b19ed88e0ad62212df29b34dee6145
5ef1931e53ace253a8843862f86b1bfa31764609
ae26148b4b9946dd84e4dde4f6f4ef86e71f8b9f
36f212dcb0d2465daedaae2d704aa123ef3a2bbe


