# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 888a01148ca28a128b9a43ae4e79dd125fd6b189
input_heaps:
497eea8787938391457661acf0f01a612c4d3497
182c5054259d818f89537dbe8e9d95f42041a820
384dd6c65ff1e3bb56c057d48994894bfe7c8f8a
8f378b120729e5f7d651d7a57d8e9e8f1014de28
14e5a8d29f88f2f2e634e6d44d16d12536047521


