# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 6a6a5623ca5c4c30b1ce4e60320a2c230dca94bc
input_heaps:
535da6560c7ae77bc6053e94d5fcc737870d4227
f4e9c31e6c0e2595248a604a7452c52f78c6a894
6f5548d71463c2f1b60f5a884da705368f379afe
8764e57eb806607bf86307fdf66d4f0eecf81c79
eb15da1d00718091b9271000f7fb41a888bc1cfe


