# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: d00f5bb2400de311d4d77883bb8ea5467404efaf
input_heaps:
00ea09bdec95d2f60a2d5101a53b5d2bb8a9550e
2794e690bc7c789dbf80ec81181bde6bcca20a2b
9f37ba80bcf60cd3b5c3ff0ac6c01167d1be24e5
7dce6e2436a4025c446c4da1580ec1899a305c46
52496d1646e8585dd3badcb0c33d29ca4c7ad15c


