# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 76c29698bf3dca0ebe13c85e77baa62d4bc523fc
input_heaps:
3d51ec384f4fe0110890543589008d84c8e75ee4
0172210ae3ac6aaa94a4d31e666fffe9e67224e0
39f11093ebddec9c3adef02c7483d3530704eaa0
472960f7a02db52e7f8a983349237e03973e9e95
6f75ec57b0e2f962d4e967925d1d27cc2bb6b86b


