# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 97d0b1e61358fe98aa737f910f4b610880b1d2b3
uuid: ceef4277-0d53-474e-a414-d65ee5dd51c6
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
a3cac9d617e00a3aeb96c5476a40808551b632c8
877b76ee1c00d3248b855bdbc8eb4a20cf1a68b8
6d7ea9c51d4013f2723ab4767c7caa98c5a6f8c3


