# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 3ce21bda610482bbf14cb9dcadbf83ab79af7b41
input_heaps:
66bbd849714724ffd8c8c735b713095926828f3d
c15c60e1d6031ed7060324e1cda2aebefad74f16
ba7f953bc40fb6f1014d21d57cc5450304130d2d
09d639d6b159f97ea4f09c648f4fa307d74b65c1
a28e8d322ac25f798e5c169155d62af7277b7839


