# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125
input_heaps:
6e5eb9b4ef3d78e2d0a5f155297d092df68a3ac4
b225b9f4c0cdb55617d75398ca0740839167e848
d0330b918c3367a4846fbd140e99e2845acc9135
a01830cd7b24f8eda7c61e5eca2196e1ea84cacb
55213e3cc66de4e3f35ea9ae7dad6e4f476c5c02


