# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 7105c447eef55e88af88fbd6f4271a3d953346e0
input_heaps:
743fb1207c262a619d4f3e56a214ca963fe049cf
a40360f253be4aa8674bfca75f6f7a4d962ccef5
e2e620d176a531f7bb00eaca73f12979addc36dd
6564d361e11f81dfec45534a178984a673596fb3
38cc5734b8add040da1b9c274bb0aa0d08984d59


