# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: fd3e6a530b79f7fd02ef17c8e14832c7ac8bd733
uuid: 0732143d-8168-4d30-812f-086bb8403ba6
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
258bafb318da8b8172037d1f1248f9ab6f5f01a8
aa382d421fe6230efc72b135b15e718d6b187454
1db97b194523d7f274347c3e8a6d55b220235f42


