# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6110e6f5ce52bf6f8476a443077f5d94e8525aaf
output_heap: 6d7ea9c51d4013f2723ab4767c7caa98c5a6f8c3
uuid: 4fa21452-17bf-4df4-8c22-6e92d169543c
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
a3cac9d617e00a3aeb96c5476a40808551b632c8
877b76ee1c00d3248b855bdbc8eb4a20cf1a68b8


