# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 9292e9f512fb2971f445ebd93d756966f8c5fde3
input_heaps:
32e67617b84c9c11cb8188110a1a4623e5435f37
4cfe04fff283b1f341f7b2f228821a9a87ea40ea
089e08bd04413689c9c2f25359f75795d5eccbbc
64f6bc3c1d5a58e09f2f19a334c361d58b7aa031
da54ee9e9087e2625ec95fbf844c8e09face6b9f


