# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: d97f6d9559127071c13808c7eec41f70a08a3c4a
uuid: 4a778f7b-a74e-44ab-aa43-5a8374f0da1d
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
abf90c6dc349ece67980805c7eded22c1798a41b
8401245c80a784448c8e78d796c7e8498633fdad
04330d7bbc370421db4e59558eee1e375f409f05


